Niels H. M. Aan de Brugh

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

	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)

Coauthor Index

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page