Ezio Bartocci, Yliès Falcone

Lectures on Runtime Verification - 1st ed. 2018 - Springer International Publishing 2018 - 10457 - Lecture Notes in Computer Science .

978-3-319-75632-5

1611-3349