Niels H. M. Aan de Brugh

According to our database, Niels H. M. Aan de Brugh authored at least 2 papers between 2007 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

MoonWalker: Verification of .NET Programs.

Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2007

MMC: the Mono Model Checker.

Theo C. Ruys, Niels H. M. Aan de Brugh

Proceedings of the Second Workshop on Bytecode Semantics, 2007