Verification, Model Checking, and Abstract Interpretation
Cortesi, Agostino.
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002 Venice, Italy, January 21-22, 2002 Revised Papers / edited by Agostino Cortesi. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540478133
Computer science.; Software engineering.; Logic design.; Computer Science.; Computer Science, general.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Software Engineering.
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002 Venice, Italy, January 21-22, 2002 Revised Papers / edited by Agostino Cortesi. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540478133
Computer science.; Software engineering.; Logic design.; Computer Science.; Computer Science, general.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Software Engineering.