Department of Informatics

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

TUM
 
PDF-Datei  Local Reasoning about While-Loops

Conference Paper

Author:Thomas Tuerk
Conference:VSTTE 2010. Workshop Proceedings
Pages:29-39
Year:2010
 
BibTeX

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