Home
Search results for "computer aided verification"
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings by Wolfgang Thomas (auth.) P. Madhusudan Sanjit A. Seshia (eds.)
pdf |en | | Author: Wolfgang Thomas (auth.), P. Madhusudan, Sanjit A. Seshia (eds.)

( Category: other November 16,2020 )
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings by unknow
pdf |en | | Author:unknow

( Category: other November 14,2020 )
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings by Gerard_J. Holzmann (auth.) Ed Brinksma Kim Guldstrand Larsen (eds.)
pdf |en | | Author: Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

( Category: other November 14,2020 )
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings by Laura Kovács Andrei Voronkov (auth.) Natasha Sharygina Helmut Veith (eds.)
pdf |en | | Author: Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)

( Category: other November 11,2020 )
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I by Swarat Chaudhuri Azadeh Farzan (eds.)
pdf |en | | Author: Swarat Chaudhuri, Azadeh Farzan (eds.)

( Category: other November 6,2020 )
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 by Armin Biere Roderick Bloem (eds.)
pdf |en | | Author: Armin Biere, Roderick Bloem (eds.)

( Category: other November 3,2020 )
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings by Manuvir Das (auth.) Thomas Ball Robert B. Jones (eds.)
pdf |en | | Author: Manuvir Das (auth.), Thomas Ball, Robert B. Jones (eds.)

( Category: other August 3,2020 )
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings by Rachid Guerraoui Michał Kapałka (auth.) Ahmed Bouajjani Oded Maler (eds.)
pdf |en | | Author: Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)

( Category: other July 24,2020 )
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings by George C. Necula Sumit Gulwani (auth.) Kousha Etessami Sriram K. Rajamani (eds.)
pdf |en | | Author: George C. Necula, Sumit Gulwani (auth.), Kousha Etessami, Sriram K. Rajamani (eds.)

( Category: other July 22,2020 )
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings by Simon N. Foley (auth.) Warren A. Hunt Jr. Fabio Somenzi (eds.)
pdf |en | | Author: Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.)

( Category: other July 22,2020 )
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings by Byron Cook (auth.) Werner Damm Holger Hermanns (eds.)
pdf |en | | Author: Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.)

( Category: other July 22,2020 )
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I by Shuvendu K. Lahiri; Chao Wang
pdf |en | | Author: Shuvendu K. Lahiri; Chao Wang

( Category: other July 19,2020 )
Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings by Amir Pnueli (auth.) E. Allen Emerson Aravinda Prasad Sistla (eds.)
pdf |en | | Author: Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)

( Category: other July 18,2020 )
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings by Doron Peled (auth.) Rajeev Alur Doron A. Peled (eds.)
pdf |en | | Author: Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)

( Category: other July 18,2020 )
Computer Aided Verification by Unknow
pdf |en | | Author:Unknow

( Category: other July 16,2020 )

First Prev 1 [2] Next Last