Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Lecture Notes in Computer Science (11800), Band 11800)

Annabelle

von: Maurice H. ter Beek · Annabelle McIver · José N. Oliveira

Taschenbuch

ISBN: 978-3-030-30941-1

ISBN-10: 3-030-30941-X

Springer · September 2019