Project Description
Bytecode Translator is a translator from .NET bytecode to Boogie.


BytecodeTranslator is a translator from .NET bytecode to Boogie.

Last edited Oct 3, 2012 at 9:03 PM by qadeer, version 2