TY  - BOOK
AU  - Ezio Bartocci
TI  - Lectures on Runtime Verification: Introductory and Advanced Topics
SN  - 9783319756318
PB  - Springer
ER  -