- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys: MoonWalker: Verification of .NET Programs. TACAS 2009: 170-173 |
| 2007 | ||
| 1 | | Theo C. Ruys, Niels H. M. Aan de Brugh: MMC: the Mono Model Checker. Electr. Notes Theor. Comput. Sci. 190(1): 149-160 (2007) |
| 1 | Viet Yen Nguyen | [2] |
| 2 | Theo C. Ruys | [1] [2] |