Department of Informatics

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

TUM
 
PDF-Datei BibTeX

@inproceedings {Tuer08,
    author = {T. Tuerk},
    title = {{A Separation Logic Framework in HOL}},
    booktitle = {Theorem Proving in Higher Order Logics: Emerging Trends Proceedings},
    year = {2008},
    pages = {116-122},
    month = {aug},
    publisher = {Department of Electrical Computer Engineering, Concordia Universi}
}
  
HTML Version

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