T. F. Melham
4 published titles
Theorem provers in circuit design
(Contributor)
1 edition
- ISBN: 0444896864
- North-Holland
- 1992
- Details
Higher order logic and hardware verification
1 edition
- ISBN: 052141718X
- Cambridge University Press
- 1993
- Details
Introduction to HOL : a theorem proving environment for higher order logic
(Contributor)
1 edition
- ISBN: 0521441897
- Cambridge University Press
- 1993
- Details
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540425411
- Springer
- 2001
- Details
