Search alternatives:
aids » aims, aid
Cover Image
Read Now

2
Published 2005
Springer Berlin Heidelberg
“...This volume contains the proceedings of the International Conference on Computer Aided Veri?cation...”
Cover Image
Read Now

3
Published 2011
Springer Berlin Heidelberg
“... Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full papers...”
Cover Image
Read Now

4
Published 2012
Springer Berlin Heidelberg
“... Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers...”
Cover Image
Read Now

8
Published 2013
Springer Berlin Heidelberg
“... on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16...”
Cover Image
Read Now

9
Published 2016
Springer International Publishing
“... International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016...”
Cover Image
Read Now

10
Published 2016
Springer International Publishing
“... International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016...”
Cover Image
Read Now

11
Published 2015
Springer International Publishing
“... International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015...”
Cover Image
Read Now

12
Published 2015
Springer International Publishing
Table of Contents: “...SMT Techniques and Applications -- POLING: SMT Aided Linearizability Proofs -- Finding Bounded Path...”
Cover Image
Read Now

13
Published 2017
Springer International Publishing
“... International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017...”
Cover Image
Read Now

14
Published 2017
Springer International Publishing
“... International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017...”
Cover Image
Read Now

15
Published 2014
Springer International Publishing
“...This book constitutes the proceedings of the 26th International Conference on Computer Aided...”