Show simple item record

dc.contributor.author
Rauch, Nicole
dc.contributor.author
Wolff, Burkhart
dc.date.accessioned
2017-06-10T03:01:36Z
dc.date.available
2017-06-10T03:01:36Z
dc.date.issued
2003-08
dc.identifier.issn
1571-0661
dc.identifier.other
10.1016/S1571-0661(04)80808-9
dc.identifier.uri
http://hdl.handle.net/20.500.11850/52511
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Java
dc.subject
Java Card
dc.subject
Formal semantics
dc.subject
Formal methods
dc.subject
Tools
dc.subject
Theorem proving
dc.subject
Integer arithmetic
dc.title
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL
dc.type
Conference Paper
ethz.journal.title
Electronic notes in theoretical computer science
ethz.journal.volume
80
ethz.pages.start
41
ethz.pages.end
58
ethz.event
Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03)
ethz.event.location
Trondheim, Norway
ethz.event.date
June 5-7, 2003
ethz.notes
Available online 28 September 2004.
ethz.identifier.nebis
004718541
ethz.publication.place
Amsterdam
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-10T03:02:00Z
ethz.source
ECIT
ethz.identifier.importid
imp59364f7f3e8ad61611
ethz.ecitpid
pub:85328
ethz.eth
no
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-17T08:37:01Z
ethz.rosetta.lastUpdated
2022-03-28T10:50:21Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Formalizing%20Java's%20Two's-Complement%20Integral%20Type%20in%20Isabelle/HOL&rft.jtitle=Electronic%20notes%20in%20theoretical%20computer%20science&rft.date=2003-08&rft.volume=80&rft.spage=41&rft.epage=58&rft.issn=1571-0661&rft.au=Rauch,%20Nicole&Wolff,%20Burkhart&rft.genre=proceeding&rft_id=info:doi/10.1016/S1571-0661(04)80808-9&
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record