MoonWalker: Verification of .NET Programs.

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

Browse the full TACAS paper archive.