Department of Informatics

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

TUM
 
PDF-Datei  Focus on Isabelle: From Specification to Verification

Conference Paper

Author:M. Spichkova
Conference:Theorem Proving in Higher-Order Logics (TPHOLs 2008): Emerging Trends
Publisher:Concordia University
Year:2008
 
BibTeX

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