Verification, Model Checking, and Abstract Interpretation
Gilles Barthe, Manuel Hermenegildo
Verification, Model Checking, and Abstract Interpretation - 2010
978-3-642-11319-2
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science
Verification, Model Checking, and Abstract Interpretation - 2010
978-3-642-11319-2
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science