Verification, Model Checking, and Abstract Interpretation
Ranjit Jhala, David Schmidt
Verification, Model Checking, and Abstract Interpretation - 2011
978-3-642-18275-4
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
Verification, Model Checking, and Abstract Interpretation - 2011
978-3-642-18275-4
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