Niels H. M. Aan de Brugh

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

Coauthor Index

1	Viet Yen Nguyen	[2]
2	Theo C. Ruys	[1] [2]