Mark Aagaard
2 published titles
Theorem proving in higher order logics
(Contributor)
1 edition
- ISBN: 3540678638
- Springer
- 2000
- Details
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540001166
- Springer
- 2002
- Details
