1. Computer-aided verification : proceedings Author/Creator: CAV (Conference) Publication/Creation: Berlin ; New York : Springer-Verlag Resource Type: Journal, Newspaper or Serial Access & Availability: Loading