Department of Informatics

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

TUM
 
PDF-Datei BibTeX

@inproceedings {Tuer09,
    author = {Thomas Tuerk},
    title = {{A Formalisation of Smallfoot in HOL}},
    booktitle = {Theorem Proving in Higher Order Logics},
    year = {2009},
    editor = {S. Berghofer and T. Nipkow and C. Urban and M. Wenzel},
    series = {Lecture Notes in Computer Science},
    pages = {469-484},
    month = {08},
    publisher = {Springer Berlin / Heidelberg}
}
  
HTML Version

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