Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Lecture Notes in Computer Science, Band 9232)

Stellenbosch

von: Bernd Fischer · Jaco Geldenhuys

Taschenbuch

EAN=ISBN-13: 978-3-319-23403-8

ISBN-10: 3-319-23403-X

Springer · 2015