ISBN 3319756311 books & textbook

Lectures on Runtime Verification: Introductory and Advanced Topics (Programming and Software Engineering)

Bartocci, Ezio Falcone, Yliès

Springer /2018-02-11 Paperback / 240 Pages
isbn-10: 3319756311 / isbn-13: 9783319756318