Formal Translation of Bytecode into BoogiePL
METADATA ONLY
Loading...
Author / Producer
Date
2007
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
Volume
190 (1)
Pages / Article No.
35 - 50
Publisher
Elsevier
Event
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Program verification; verification conditions; intermediate language; Java bytecode; BoogiePL
Organisational unit
03653 - Müller, Peter / Müller, Peter
03594 - Meyer, Bertrand (emeritus)