Warren A. Hunt (Hunt, Warren A.)

• 
  Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings
  by Fabio Somenzi, Warren A. Hunt
  Softcover, Springer Verlag, ISBN 3540405240 (3-540-40524-0)
• 
  Fm8501: A Verified Microprocessor
  by Warren A. Hunt
  Softcover, Springer Verlag, ISBN 0387579605 (0-387-57960-5)

  More editions of Fm8501: A Verified Microprocessor:

  • FM8501, a Verified Microprocessor: Hardcover, Springer-Verlag, ISBN 3540579605 (3-540-57960-5)