Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science (11562), Band 11562)

Verification

von: Isil Dillig · Serdar Tasiran

Taschenbuch

ISBN-13: 978-3-030-25542-8

ISBN-10: 3-030-25542-5

Springer · 2019
S. auch:
2019TaschenbuchComputer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science, Band 11561)