Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL

Thumbnail
Metadata only
Author
Rauch, Nicole
Wolff, Burkhart
Date
2003-08
Type
    Conference Paper
Publication status
published
External links
Journal / series
Electronic notes in theoretical computer science
Volume
80
Pages / Article No.
41 - 58
Publisher
Elsevier
Event
Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), Trondheim, Norway, June 5-7, 2003
Subject
Java; Java Card; Formal semantics; Formal methods; Tools; Theorem proving; Integer arithmetic
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Available online 28 September 2004.
More
Show all metadata
ETH Bibliography
no
Altmetrics