Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

Warren A. Hunt Jr. Fabio Somenzi Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings CAV Lecture Notes in Computer Science 2725 Springer 2003 3-540-40524-0 db/conf/cav/cav2003.html