Treffer: Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL
Title:
Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL
Authors:
Source:
Lecture Notes in Computer Science ; Tools and Algorithms for the Construction and Analysis of Systems ; page 89-103 ; ISSN 0302-9743 ; ISBN 9783540657033 9783540490593
Publisher Information:
Springer Berlin Heidelberg
Publication Year:
1999
Document Type:
Buch
book part
Language:
unknown
ISBN:
978-3-540-65703-3
978-3-540-49059-3
3-540-65703-7
3-540-49059-0
978-3-540-49059-3
3-540-65703-7
3-540-49059-0
DOI:
10.1007/3-540-49059-0_7
Availability:
Accession Number:
edsbas.3EDA5115
Database:
BASE