Computer Aided Verification
Hunt, Warren A.
Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings / edited by Warren A. Hunt, Fabio Somenzi. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540450696
Computer science.; Logic design.; Software engineering.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Logic Design.; Special Purpose and Application-Based Systems.; Software Engineering.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).
Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings / edited by Warren A. Hunt, Fabio Somenzi. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540450696
Computer science.; Logic design.; Software engineering.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Logic Design.; Special Purpose and Application-Based Systems.; Software Engineering.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).