1992

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings

CAV (Conference) (3rd : 1991 : Ålborg, Denmark)



 

1994

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

CAV (Conference) (6th : 1994 : Stanford, Calif.)



 

2005

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

CAV (Conference) (17th : 2005 : Edinburgh, Scotland)



 

2008

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings

CAV (Conference) (20th : 2008 : Princeton, N.J.)



 

2009

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings

CAV (Conference) (21st : 2009 : Grenoble, France)



 

2010

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings

CAV (Conference) (22nd : 2010 : Edinburgh, Scotland)



 

2011

Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings

CAV (Conference) (23rd : 2011 : Snowbird, Utah)



 

1993

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings

CAV (Conference) (4th : 1992 : Montréal, Québec)

Berlin ; New York : Springer-Verlag, ©1993