Hunt, Warren A., 1958-
Hunt, Warren A., Jr., 1958-
Hunt, Warren A., Jr.
Hunt, Warren A.
VIAF ID: 113771913 ( Personal )
Permalink: http://viaf.org/viaf/113771913
Preferred Forms
-
- 100 1 _ ‡a Hunt, Warren A.
- 100 1 _ ‡a Hunt, Warren A. Jr
- 100 1 _ ‡a Hunt, Warren A. Jr., ‡d 1958-....
-
-
-
-
-
- 100 1 0 ‡a Hunt, Warren A., ‡d 1958-
Works
Title | Sources |
---|---|
CAV 2003 | |
Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings | |
FM8501, 1994: | |
FM8501, a verified microprocessor | |
FMCAD 2000 |