Formal methods for industrial critical systems
By: María Alpuente, Byron Cooker, Christophe Joubert, (eds.).
Contributors: Alpuente, María; Cook, Byron; Joubert, Christophe
Series: Lecture notes in computer science -- 5825; Lecture notes in computer science -- 5825.
Publisher: Springer
Published: 2009
Place of publication: Berlin; New York
Language: eng
Number of pages: 212
ISBN-13: 9783642045691
Subjects: Formal methods (Computer science); Congresses; Verification; Software engineering; Computer programs
Notes: Selected conference papers.

Includes bibliographical references and index.