Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings: 11918 (Lecture Notes in Computer Science, 11918)

More Information

Format: Paperback
Pages: 571
Edition: 1st ed. 2019
Publisher: Springer
Published: 14 Jan 2020
ISBN 10: 3030349675
ISBN 13: 9783030349677