Runtime Verification
Koushik Sen, Sarfaz Khurshid
Runtime Verification - 2012
978-3-642-29860-8
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Runtime Verification - 2012
978-3-642-29860-8
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science