Integrated Formal Methods
Subtitle: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Publisher: Springer
Published: Nov 15, 2019
Format: paperback
Number of pages: 571
ISBN-13: 9783030349677
Notes: Source title: Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings (Lecture Notes in Computer Science (11918))