A Formalisation of Smallfoot in HOL

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_32 ◽

2009 ◽

pp. 469-484 ◽

Cited By ~ 17

Author(s):

Thomas Tuerk

Download Full-text