Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers - International Workshop on Formal Methods for Industrial Critical Systems 2007 : Berlin, Germany); Leue, Stefan; Merino, Pedro; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Includes bibliographical references and author index.
Keywords: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer programs -- Verification -- Congresses