Runtime Verification
Ezio Bartocci
Runtime Verification - 1st ed. 2015 - Springer 2015 - Lecture Notes in Computer Science .
9783319238203
Computer Science
Software Engineering
Runtime Verification - 1st ed. 2015 - Springer 2015 - Lecture Notes in Computer Science .
9783319238203
Computer Science
Software Engineering