Old Web
English
Sign In
Acemap
>
authorDetail
>
David F. Reed
David F. Reed
Floating point
Formal methods
Automated theorem proving
Algorithm
Mathematics
1
Papers
4
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formal Verification of Microprocessors at AMD
2002
Arthur Flatau
Matt Kaufmann
David F. Reed
David M. Russinoff
Eric Whitman Smith
Robert W. Sumners
Show All
Source
Cite
Save
Citations (4)
1