Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings

Ed Brinksma Kim Guldstrand Larsen Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings CAV Lecture Notes in Computer Science 2404 Springer 2002 3-540-43997-8 db/conf/cav/cav2002.html