Home | deutsch  | Legals | Sitemap | KIT

Verification of Java Floating-Point Arithmetic

Verification of Java Floating-Point Arithmetic
Type:Diplomarbeit
Date:2008
Supervisor:

Prof. P. H. Schmitt
Benjamin Weiß

Author:

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