Formal Methods and Software Engineering
Subtitle: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ...
Publisher: Springer
Published: Oct 11, 2018
Format: paperback
Number of pages: 496
ISBN-13: 9783030024499
Notes: Source title: Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ... (Lecture Notes in Computer Science (11232))