Kim Gybels

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

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)