Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers

• Corporate Author: International Workshop on Formal Methods for Industrial Critical Systems Berlin, Germany
• Other Authors: Leue, Stefan, 1962- (Editor), Merino, Pedro (Editor)
• Format: Book
• Language: English
• Published: Berlin ; New York : Springer, c2008
• Series: Lecture notes in computer science; LNCS sublibrary. Programming and software engineering
• Subjects: softwarové inženýrství; programování; testování softwaru; elektronické knihy
• ISBN: 9783540797067
• ISSN: 0302-9743 ;
• DOI: 10.1007/978-3-540-79707-4
• Physical Description: x, 250 s. : il.