- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 1 | Theo D'Hondt | [1] |
| 2 | Kris Gybels | [1] |
| 3 | Isabel Michiels | [1] |
| 4 | Coen De Roover | [1] |