Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (Lecture Notes in Computer Science, Band 10869)

Proceedings

von: María del Mar Gallardo · Pedro Merino

Taschenbuch

ISBN: 978-3-319-94110-3

ISBN-10: 3-319-94110-0

Springer · 2018