Department of Informatics

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

TUM
 
Enriching the Software Engineering Process by Formal Methods

Book Chapter

Author:M. Broy, O. Slotosch
In Book:Boppard 1998
Pages:1 - 43
Number:LNCS 1641
Publisher:Springer
Year:1999
 
BibTeX

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