Home | english  | Impressum | Sitemap | KIT

Verification of Java Floating-Point Arithmetic

Verification of Java Floating-Point Arithmetic
Typ:Diplomarbeit
Datum:2008
Betreuer:

Prof. P. H. Schmitt
Benjamin Weiß

Bearbeiter:

Denis Lohner

Links:PDF

BibTeX

@misc{Lohner2008,
  author       = {Denis Lohner},
  title        = {Verification of Java Floating-Point Arithmetic},
  howpublished = {Diplomarbeit, Fakult{\"a}t f{\"u}r Informatik, Universit\"at Karlsruhe},
  year         = {2008}
}