Department of Informatics

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

TUM
 
PDF-Datei  Learning meets Verification

Conference Paper

Author:Martin Leucker
Conference:Formal Methods for Components and Objects, 5th International Symposium (FMCO 2006)
Editor:Frank S. de Boer, Marcello M. Bonsangue
Series:Lecture Notes in Computer Science
Year:2007
 
BibTeX

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