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