Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15-19, 2019, Proceedings (Lecture Notes in Computer Science, Band 11636)

von: Fabrizio Biondi · Thomas Given-Wilson · Axel Legay

Taschenbuch

ISBN-13: 978-3-030-30922-0

ISBN-10: 3-030-30922-3

Springer · 7. November 2019