TY - DATA AU - Ezio Bartocci AU - Rupak Majumdar TI - Runtime Verification T2 - Lecture Notes in Computer Science SN - 9783319238203 PB - Springer KW - Computer Science KW - Software Engineering UR - https://link.springer.com/openurl?genre=book&isbn=978-3-319-23820-3 ER -