@inproceedings{Ja01,
AUTHOR = {Jacobi, Christian},
TITLE = {Formal Verification of a Theory of IEEE Rounding},
YEAR = {2001},

Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/Ja01.pdf},
SERIES = {Informatics Research Report EDI-INF-RR-0046},
BOOKTITLE = {TPHOLs 2001: Supplemental Proceedings},
EDITOR = {Boulton, R.J. and Jackson, P.B.},
}