Treffer: Formal Translation of Bytecode into BoogiePL

Title:
Formal Translation of Bytecode into BoogiePL
Authors:
Lehner, Hermann, Müller, Peter
Source:
In Electronic Notes in Theoretical Computer Science 31 July 2007 190(1):35-50
Database:
ScienceDirect