Formal Methods – The Next 30 Years
Subtitle: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Publisher: Springer
Published: Sep 15, 2019
Format: paperback
Number of pages: 795
ISBN-13: 9783030309411
Notes: Source title: Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science (11800))