"Combining a Verification Condition Generator for a Bytecode Language with ..."

Benjamin Grégoire, Jorge Luis Sacchini (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics