ISBN 3030037681 books & textbook
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (Programming and Software Engineering)
Colombo, Christian Leucker, Martin
Springer /2018-11-08 Paperback / 481 Pages
isbn-10: 3030037681 / isbn-13: 9783030037680
