Formal Methods and Software Engineering
Subtitle: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, ...
Publisher: Springer
Published: Dec 02, 2015
Format: paperback
Number of pages: 461
ISBN-13: 9783319254227
Notes: Source title: Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, ... (Lecture Notes in Computer Science (9407))