Cryptology ePrint Archive: Report 2012/153
Available versions in chronological order
20120323:201526 (posted 23-Mar-2012 20:15:26 UTC)
A Framework for the Cryptographic Verification of Java-like Programs
Ralf Kuesters and Tomasz Truderung and Juergen Graf
20120411:082549 (posted 11-Apr-2012 08:25:49 UTC)
A Framework for the Cryptographic Verification of Java-like Programs
Ralf Kuesters and Tomasz Truderung and Juergen Graf
Publication Info: CSF 2012
[
Cryptology ePrint archive
]