Logik und Formale Methoden

Verification of Java Floating-Point Arithmetic

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}
}