Computer Aided Verification
Dill, David L.
Computer Aided Verification 6th International Conference, CAV '94 Stanford, California, USA, June 21-23, 1994 Proceedings / edited by David L. Dill. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540484691
Computer science.; Computer Communication Networks.; Software engineering.; Logic design.; Electronics.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Electronics and Microelectronics, Instrumentation.; Computer Communication Networks.
Computer Aided Verification 6th International Conference, CAV '94 Stanford, California, USA, June 21-23, 1994 Proceedings / edited by David L. Dill. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540484691
Computer science.; Computer Communication Networks.; Software engineering.; Logic design.; Electronics.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Electronics and Microelectronics, Instrumentation.; Computer Communication Networks.