TY - DATA AU - Ylies Falcone AU - Cesar Sanchez TI - Runtime Verification T2 - Lecture Notes in Computer Science SN - 9783319469829 PB - Springer KW - Computer Science KW - Software Engineering UR - https://link.springer.com/openurl?genre=book&isbn=978-3-319-46982-9 ER -