Formal Methods and Software Engineering
Subtitle: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, ...
Publisher: Springer
Published: Oct 14, 2017
Format: paperback
Number of pages: 515
ISBN-13: 9783319686899
Notes: Source title: Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, ... (Lecture Notes in Computer Science (10610))