Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Lecture Notes in Computer Science, Band 7976)

Ramakrishnan

von: Ezio Bartocci · C. R. Ramakrishnan

Taschenbuch

ISBN-13: 978-3-642-39175-0

ISBN-10: 3-642-39175-3

Springer · 2013