Formalization IDEs Integrated with a Verifying Compiler.

Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman

Browse the full ECOOP paper archive.