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