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

In: Thomas Arts and Wan Fokkinked., Proc. 8th International Workshop on Formal Methods
for Industrial Critical Systems. Electronic Notes in Theoretical Computer Science (ENTCS), volume 80, p. 40--56, June, 2003

Authors

• Nicole Rauch
• Burkhart Wolff

Full Text

• PDF: fmics03.pdf
• PS.GZ: fmics03.ps.gz

BibTeX

@InProceedings{Rauch.Wolff03formalizing, 
   author = {Nicole Rauch and Burkhart Wolff}
   title = {Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL},
   booktitle = {Proc. 8th International Workshop on Formal Methods
                  for Industrial Critical Systems},
   series = {Electronic Notes in Theoretical Computer Science (ENTCS)},
   publisher = {Elsevier},
   pages = {40--56},
   month = {June},
   year = {2003},
}