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

Saved in:
Bibliographic Details
Corporate Author: International Workshop on Formal Methods for Industrial Critical Systems Berlin, Germany)
Other Authors: Leue, Stefan, 1962- (Editor), Merino, Pedro (Editor)
Format: eBook
Language: English
Published: Berlin ; New York : Springer, c2008
Series: Lecture notes in computer science
LNCS sublibrary. Programming and software engineering
Subjects:
ISBN: 9783540797067
Physical Description: x, 250 s. : il.

Cover

Table of contents