Runtime Verification
Axel Legay, Saddek Bensalem
Runtime Verification - Springer 2013 - Lecture Notes in Computer Science .
9783642407871
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 2013 - Lecture Notes in Computer Science .
9783642407871
Software Engineering; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages