Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL
METADATA ONLY
Loading...
Author / Producer
Date
2003-08
Publication Type
Conference Paper
ETH Bibliography
no
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
Volume
80
Pages / Article No.
41 - 58
Publisher
Elsevier
Event
Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
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.