Verification, Model Checking, and Abstract Interpretation
Jhala, Ranjit.
Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642182754
Computer science.; Software engineering.; Computer software.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Programming Techniques.
Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642182754
Computer science.; Software engineering.; Computer software.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Programming Techniques.