Formal Methods
Subtitle: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Publisher: Springer
Published: Jul 12, 2018
Format: paperback
Number of pages: 706
ISBN-13: 9783319955810
Notes: Source title: Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science (10951))