DMCA

A formalisation of Smallfoot in HOL (2009)

by Thomas Tuerk
Venue:of Lecture Notes in Computer Science
Citations:20 - 1 self