2012

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings

CPP 2012 (2012 : Kyoto, Japan)



 

2013

Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

CPP (Conference) (3rd : 2013 : Melbourne, Vic.)

Cham : Springer, 2013

 

2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.

CAV (Conference) (29th : 2017 : Heidelberg, Germany)

Cham, Switzerland : Springer, 2017

 

2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.

CAV (Conference) (29th : 2017 : Heidelberg, Germany)

Cham : Springer, 2017

 

2023

Computer aided cerification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings.

CAV (Conference) (35th : 2023 : Paris, France)

Cham, Switzerland : Springer, 2023

 

1992

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

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



 

1993

Computer aided verification : 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings

CAV (Conference) (5th : 1993 : Eloúnda, Greece)

Berlin ; New York : Springer-Verlag, ©1993

 

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)

Berlin ; [London] : Springer, [2005]

Request It 

2005

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

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



 

2006

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

CAV (Conference) (18th : 2006 : Seattle, Wash.)



 

2007

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings

CAV (Conference) (19th : 2007 : Berlin, Germany)



 

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)



 

2012

Computer Aided Verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings

CAV (Conference) (24th : 2012 : Berkeley, Calif.)



 

2013

Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

CAV (Conference) (25th : 2013 : Saint Petersburg, Russia)



 

2014

Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings

CAV (Conference) (26th : 2014 : Vienna, Austria)

Cham : Springer, [2014]

 

2015

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings.

CAV (Conference) (27th : 2015 : San Francisco, Calif.)

Cham : Springer, 2015

 

2015

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings.

CAV (Conference) (27th : 2015 : San Francisco, Calif.)

Cham : Springer, 2015

 

2016

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.

CAV (Conference) (28th : 2016 : Toronto, Ont.)

Switzerland : Springer, 2016

 

2016

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.

CAV (Conference) (28th : 2016 : Toronto, Ont.)

Switzerland : Springer, 2016

 

2018

Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.

CAV (Conference) (30th : 2018 : Oxford, England)

Cham, Switzerland : Springer Open, 2018

 

2018

Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.

CAV (Conference) (30th : 2018 : Oxford, England)

Cham, Switzerland : Springer, 2018

 

2020

Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.

CAV (Conference) (32nd : 2020 : Los Angeles, Calif.)

Cham, Switzerland : Springer, [2020]

 

2020

Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.

CAV (Conference) (32nd : 2020 : Los Angeles, Calif.)

Cham, Switzerland : Springer, [2020]

 

2021

Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.

CAV (Conference) (33rd : 2021 : Online)

Cham : Springer, [2021]

 

2021

Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.

CAV (Conference) (33rd : 2021 : Online)

Cham : Springer, [2021]

 

2022

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

CAV (Conference) (34th : 2022 : Haifa, Israel)

Cham : Springer, 2022

 

2022

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

CAV (Conference) (34th : 2022 : Haifa, Israel)

Cham : Springer, 2022

 

2023

Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings.

CAV (Conference) (35th : 2023 : Paris, France)

Cham, Switzerland : Springer, 2023

 

2023

Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, proceedings.

CAV (Conference) (35th : 2023 : Paris, France)

Cham : Springer, [2023]

 

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

 

2016

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)

Cham : Springer, 2016

 

2017

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference.

Cham, Switzerland : Springer, 2017

 

2015

Dependable software systems engineering

NATO Advanced Study Institute on Dependable Software Systems Engineering (2014 : Marktoberdorf, Germany)

Amsterdam : IOS Press, 2015

 

2013

E-voting and identify : 4th international conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, proceedings

Vote-ID (Conference) (4th : 2013 : Guildford, England)



 

2015

E-Voting and identity : 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings

Vote-ID (Conference) (5th : 2015 : Bern, Switzerland)

Cham : Springer, 2015

 

2012

E-voting and identity : third international conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised selected papers

Vote-ID (Conference) (3rd : 2011 : Tallinn, Estonia)



 

2011

Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures

 

2013

Engineering dependable software systems

NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)

Amsterdam : IOS Press, [2013]

 

2013

Engineering Dependable Software Systems

Broy, M



 

2012

Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings

International Conference on Formal Engineering Methods (14th : 2012 : Kyoto, Japan)



 

2013

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings

International Conference on Formal Engineering Methods (15th : 2013 : Queenstown, N.Z.)

Heidelberg : Springer, [2013]

 

2016

Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

International Conference on Formal Engineering Methods (18th : 2016 : Tokyo, Japan)

Cham, Switzerland : Springer, 2016

 

2007

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected pa

International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany)



 

2009

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy)



 

2011

Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings

International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)



 

2013

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (18th : 2013 : Madrid, Spain)

Heidelberg : Springer, [2013]