Bytecode Translator: A translator from .NET bytecode to Boogie

  •        0

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

http://bytecodetranslator.codeplex.com/

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects