Preservation of Proof Obligations from Java to the Java Virtual Machine.

Gilles Barthe, Benjamin Grgoire, Mariela Pavlova

Browse the full CADE paper archive.