Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Lecture Notes in Computer Science, Band 9333)

Verification

von: Ezio Bartocci · Rupak Majumdar

Taschenbuch

ISBN: 978-3-319-23819-7

ISBN-10: 3-319-23819-1

Springer · 2015