Kim Gybels

	2006
1		Coen De Roover, Isabel Michiels, Kim Gybels, Kris Gybels, Theo D'Hondt: An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification. ICPC 2006: 202-211

Coauthor Index

1	Theo D'Hondt	[1]
2	Kris Gybels	[1]
3	Isabel Michiels	[1]
4	Coen De Roover	[1]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page