Title:	Formal Verification of a Theory of IEEE Rounding
Links:	Document as Postscript
Authors:	Christian Jacobi EMail
Remarks:
Topics:	FPU , Verif

Bibtex:

@inproceedings{Jac01,
  AUTHOR    = { Jacobi, Christian },
  TITLE     = { Formal Verification of a Theory of {IEEE} Rounding },
  BOOKTITLE = { {TPHOLs} 2001: Supplemental Proceedings },
  NOTE      = { Informatics Research Report EDI-INF-RR-0046, Univ. Edinburgh, UK },
  YEAR      = { 2001 },
  EDITOR    = { Richard J. Boulton and Paul B. Jackson },
}