Verification, Model Checking, and Abstract Interpretation
Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Verification, Model Checking, and Abstract Interpretation - 2008
978-3-540-78163-9
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Verification, Model Checking, and Abstract Interpretation - 2008
978-3-540-78163-9
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science