Runtime Verification
Ezio Bartocci, Rupak Majumdar
Runtime Verification - Springer 2015 - Lecture Notes in Computer Science .
9783319238203
Software Engineering; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages
Runtime Verification - Springer 2015 - Lecture Notes in Computer Science .
9783319238203
Software Engineering; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages