Jump to main content

yr 〜
yr

Search results 40

Computer aided verification : 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings pt. 1

Computer aided verification : 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings pt. 1
Paper図書
Alexandra Silva, K. Rustan M. Leino (eds.)Springerc2021
Other Libraries in Japan
  • Author HeadingCAV (Conference) Silva, Alexandra Leino, K. Ru...

Computer aided verification : 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings pt. 2

Computer aided verification : 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings pt. 2
Paper図書
Alexandra Silva, K. Rustan M. Leino (eds.)Springerc2021
Other Libraries in Japan
  • Author HeadingCAV (Conference) Silva, Alexandra Leino, K. Ru...

Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings pt. 1 pt. 2

Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings pt. 1 pt. 2
Paper図書
Rupak Majumdar, Viktor Kunčak (eds.)Springerc2017
Other Libraries in Japan
  • Author HeadingCAV (Conference) Majumdar, Rupak Kunčak, Vikto...

Computer aided verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings pt. 1 pt. 2

Computer aided verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings pt. 1 pt. 2
Paper図書
Swarat Chaudhuri, Azadeh Farzan (eds.)Springerc2016
Other Libraries in Japan
  • Author HeadingCAV (Conference) Chaudhuri, Swarat Farzan, Aza...

Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings pt. 1 pt. 2

Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings pt. 1 pt. 2
Paper図書
Daniel Kroening, Corina S. Păsăreanu (eds.)Springerc2015
Other Libraries in Japan
  • Author HeadingCAV (Conference) Kroening, Daniel Păsăreanu, C...

Computer aided verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings

Computer aided verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings
Paper図書
P. Madhusudan, Sanjit A. Seshia (eds.)Springerc2012
Other Libraries in Japan
  • Author HeadingCAV (Conference) Madhusudan, P. Seshia, Sanjit...

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

Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings : pbk
Paper図書
Ganesh Gopalakrishnan, Shaz Qadeer (eds.)Springerc2011
Other Libraries in Japan
  • Author HeadingCAV (Conference) Gopalakrishnan, Ganesh Qadeer...

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)
Paper図書
Springer[2015]<M17-16-504>
National Diet Library
  • Author HeadingCAV (Conference) (27th : 2015 : San Francisco,...

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

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 : proceedings
Paper図書
Ahmed Bouajjani, Oded Maler (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingCAV (Conference) Bouajjani, Ahmed Maler, Oded

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

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings
Paper図書
Tayssir Touili, Byron Cook, Paul Jackson (eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingCAV (Conference) Touili, Tayssir Cook, Byron J...

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

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Paper図書
Aarti Gupta, Sharad Malik (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingCAV (Conference) Gupta, Aarti Malik, Sharad

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 : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8559)

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 : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8559)
Paper図書
Springer[2014]<M17-15-1518>
National Diet Library
  • Author HeadingCAV (Conference) (26th : 2014 : Vienna, Austri...

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)
Paper図書
Springerc2013.<M17-14-137>
National Diet Library
  • Author HeadingCAV (Conference) (25th : 2013 : Saint Petersbu...

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

Computer aided verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings
Paper図書
Werner Damm, Holger Hermanns (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingCAV (Conference) Damm, Werner Hermanns, Holger

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings : 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA. (Lecture Notes in Computer Science ; 7358)

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings : 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA. (Lecture Notes in Computer Science ; 7358)
Paper図書
Springerc2012.<M17-13-561>
National Diet Library
  • Author HeadingCAV (Conference) (24th : 2012 : Berkeley, Cali...

Computer aided verification : 23rd international conference, CAV 2011 : Snowbird, UT, USA, July 14-20, 2011 : proceedings : international conference on computer-aided verification : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6806)

Computer aided verification : 23rd international conference, CAV 2011 : Snowbird, UT, USA, July 14-20, 2011 : proceedings : international conference on computer-aided verification : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6806)
Paper図書
Springerc2011.<M17-12-45>
National Diet Library
  • Author HeadingCAV (Conference) (23rd : 2011 : Snowbird, Utah...

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

Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Paper図書
Thomas Ball, Robert B. Jones (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingCAV (Conference) Ball, Thomas Jones, Robert B.

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

Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Paper図書
Kousha Etessami, Sriram K. Rajamani (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingCAV (Conference) Etessami, Kousha Rajamani, Sr...

Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings

Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
Paper図書
Rajeev Alur, Doron A. Peled (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingCAV (Conference) Alur, Rajeev Peled, Doron A.

Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
Paper図書
Warren A. Hunt, Jr., Fabio Somenzi (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingCAV (Conference) Hunt, Warren A. Somenzi, Fabi...
RSS