Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings (Lecture Notes in Computer Science, Band 10548)

Verification

von: Shuvendu Lahiri · Giles Reger

Taschenbuch

ISBN: 978-3-319-67530-5

ISBN-10: 3-319-67530-3

Springer · 2017