Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
PDF-Datei  A Formalisation of Smallfoot in HOL

Conference Paper

Author:Thomas Tuerk
Conference:Theorem Proving in Higher Order Logics
Editor:S. Berghofer, T. Nipkow, C. Urban, M. Wenzel
Series:Lecture Notes in Computer Science
Pages:469-484
Month:08
Publisher:Springer Berlin / Heidelberg
Year:2009
 
BibTeX

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact