FM 2008
Subtitle: formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings
By: Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.).
Contributors: Cuellar, Jorge.; Maibaum, Thomas S. E., 1947-; Sere, K. 1954-
Series: Lecture notes in computer science -- 5014
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 436
ISBN-13: 9783540682356
Subjects: Computer software -- Development -- Congresses.; Formal methods (Computer science) -- Congresses.; System design -- Mathematics -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.