Formal Methods and Software Engineering
Subtitle: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, ...
Publisher: Springer
Published: Sep 19, 2012
Format: paperback
Number of pages: 526
ISBN-13: 9783642342806
Notes: Source title: Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, ... (Lecture Notes in Computer Science (7635))