Department of Informatics

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

TUM
 
PDF-Datei  A Separation Logic Framework in HOL

Conference Paper

Author:T. Tuerk
Conference:Theorem Proving in Higher Order Logics: Emerging Trends Proceedings
Pages:116-122
Month:aug
Publisher:Department of Electrical Computer Engineering, Concordia Universi
Year:2008
 
BibTeX

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