Formal methods for industrial critical systems
Subtitle: 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers
By: Stefan Leue, Pedro Merino (eds.).
Contributors: Leue, Stefan.; Merino, Pedro.
Series: LNCS sublibrary; Lecture notes in computer science -- 4916
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 250
ISBN-13: 9783540797067
Subjects: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer programs -- Verification -- Congresses
Genres: Congresses.
Other titles: International Workshop on Formal Methods for Industrial Critical Systems; FMICS 2007
Notes: Includes bibliographical references and author index.