DocumentCode
299572
Title
A Formal Specification of the IEEE Floating-Point Standard with Application to the Verification of F
Author
Pan, Jing ; Levitt, Karl N.
Volume
1
fYear
1990
fDate
5-7 Nov 1990
Firstpage
505
Keywords
ANSI standards; Application software; Coprocessors; Floating-point arithmetic; Formal specifications; Formal verification; Hardware; Humans; Microprocessors; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Signals, Systems and Computers, 1990 Conference Record Twenty-Fourth Asilomar Conference on
ISSN
1058-6393
Print_ISBN
0-8186-2180-X
Type
conf
DOI
10.1109/ACSSC.1990.523389
Filename
523389
Link To Document