Book
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Editors
Cuéllar J; Maibaum TSE; Sere K
Series
Lecture Notes in Computer Science
Volume
5014
Publisher
Springer
Publication Date
June 5, 2008
ISBN-13
978-3-540-68235-6