yr 〜
yr

Search results 23

Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings

Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings
Paper図書
Constantin Enea, Ruzica Piskac (eds.)Springerc2019
Other Libraries in Japan
  • Author HeadingVMCAI Enea, Constantin Piskac, Ruzi...

Verification, model checking, and abstract interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings

Verification, model checking, and abstract interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings
Paper図書
Isil Dillig, Jens Palsberg (eds.)Springerc2018
Other Libraries in Japan
  • Author HeadingVMCAI Dillig, Isil Palsberg, Jens

Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, proceedings

Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, proceedings
Paper図書
Ahmed Bouajjani, David Monniaux (eds.)Springerc2017
Other Libraries in Japan
  • Author HeadingVMCAI Bouajjani, Ahmed Monniaux, Da...

Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings

Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings
Paper図書
Barbara Jobstmann, K. Rustan M. Leino (Eds.)Springerc2016
Other Libraries in Japan
  • Alternative TitleARCoSS VMCAI 2016
  • Alternative TitleARCoSS VMCAI 2016
  • Author HeadingVMCAI Jobstmann, Barbara Leino, K. ...

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings
Paper図書
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen (eds.)Springerc2015
Other Libraries in Japan
  • Author HeadingVMCAI D'Souza, Deepak Lal, Akash La...

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings
Paper図書
Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingVMCAI Logozzo, Francesco Peled, Dor...

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 Nice, France, January 14-16, 2007 : proceedings

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 Nice, France, January 14-16, 2007 : proceedings
Paper図書
Byron Cook, Andreas Podelski (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingVMCAI Cook, Byron Podelski, Andreas

Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
Paper図書
Radhia Cousot (ed.)Springerc2005
Other Libraries in Japan
  • Author HeadingVMCAI Cousot, Radhia

Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings

Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings
Paper図書
E. Allen Emerson, Kedar S. Namjoshi (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingVMCAI Emerson, E. Allen Namjoshi, K...

Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Paper図書
Bernhard Steffen, Giorgia Levi (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingVMCAI Steffen, Bernhard Levi, Giorg...

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-1756>
National Diet Library
  • Summary, etc....nterpretation, VMCAI 2014, held in San Diego, CA, ...
  • Author HeadingVMCAI 2014 (2014 : San Diego, Calif...

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-15-1660>
National Diet Library
  • Author HeadingVMCAI (Conference) (16th : 2015 : M...

Verification, model checking, and abstract interpretation : 14th international conference, VMCAI 2013 : Rome, Italy, January 20-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7737. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 14th international conference, VMCAI 2013 : Rome, Italy, January 20-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7737. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2103>
National Diet Library
  • Author HeadingVMCAI 2013 (2013 : Rome, Italy) Gia...

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)
Paper図書
Springerc2011.<M17-11-1898>
National Diet Library
  • Author HeadingJhala, Ranjit. Schmidt, David. VMCAI 2011 (2011 : Austin, Tex.)

Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Paper図書
Lenore D. Zuck ... [et al.] (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingVMCAI Zuck, Lenore D. Attie, Paul C...

Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
Paper図書
Agostino Cortesi (ed.)Springerc2002
Other Libraries in Japan
  • Author HeadingVMCAI Cortesi, Agostino

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings. : Jan 2007, Nice, France. (Lecture Notes in Computer Science ; 4349)

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings. : Jan 2007, Nice, France. (Lecture Notes in Computer Science ; 4349)
Paper図書
Springerc2007.<M17-07-718>
National Diet Library
  • Author HeadingCook, Bryron. Podelski, Andreas. VMCAI 2007 (2007 : Nice, France)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)
Paper図書
Springerc2008.<M17-08-1774>
National Diet Library
  • Author Heading...nore D., 1958- VMCAI 2008 (2008 : San Francisco, C...

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006 : Charleston, SC, USA, January 8-10, 2006 : proceedings. : Jan 2006, Charleston, SC. (Lecture Notes in Computer Science ; 3855)

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006 : Charleston, SC, USA, January 8-10, 2006 : proceedings. : Jan 2006, Charleston, SC. (Lecture Notes in Computer Science ; 3855)
Paper図書
Springerc2006.<M17-06-2259>
National Diet Library
  • Author HeadingEmerson, E. Allen. Namjoshi, Kedar S. VMCAI 2006 (2006 : Charleston, S.C....

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. : Jan 2003, New York, NY. (Lecture Notes in Computer Science ; 2575)

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. : Jan 2003, New York, NY. (Lecture Notes in Computer Science ; 2575)
Paper図書
Springerc2003.<M17-03-814>
National Diet Library
  • Author HeadingZuck, Lenore D., 1958- VMCAI 2003 (2003 : New York, NY)