Tom Melham

Tom Melham

1 books in the database

Books

Theorem Proving in Higher Order LogicsTom Melham

Theorem Proving in Higher Order Logics

Tom Melham · 2005

Co-authored books and collections

Books that list Tom Melham among their authors but not as the lead author: co-written works, collections and compilations.

Correct Hardware Design and Verification MethodsTiziana Margaria

Correct Hardware Design and Verification Methods

Tiziana Margaria · 2003