yr 〜
yr

Search results 5

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, Doron Zuck, Lenore D.

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..., Doron, 1962- Zuck, Lenore D., 1958- VMCAI 2008 (2008 : San...

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Paper図書
Nicolas Halbwachs, Lenore D. Zuck (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingTACAS Halbwachs, Nicolas Zuck, Lenore D. European Conferences on Theor...

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. Cortesi, Agost...

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...

Reached to the end of result.