Travelled to:
1 × Greece
Collaborated with:
C.D.Roover I.Michiels K.Gybels T.D'Hondt
Talks about:
lightweight (1) document (1) behavior (1) approach (1) program (1) verif (1) level (1) allow (1) high (1)
Person: Kim Gybels
DBLP: Gybels:Kim
Contributed to:
Wrote 1 papers:
- ICPC-2006-RooverMGGD #approach #behaviour #documentation #lightweight #verification
- An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification (CDR, IM, KG, KG, TD), pp. 202–211.