Jump to main content

yr 〜
yr

Search results 4

Automated technology for verification and analysis : 8th international symposium, ATVA 2010 : Singapore, September 21-24, 2010 : proceedings. : Sep 2010, Singapore. (Lecture Notes in Computer Science ; 6252)

Automated technology for verification and analysis : 8th international symposium, ATVA 2010 : Singapore, September 21-24, 2010 : proceedings. : Sep 2010, Singapore. (Lecture Notes in Computer Science ; 6252)
Paper図書
Springerc2010.<M17-10-4362>
National Diet Library
  • Author HeadingBouajjani, Ahmed. Chin, Wei-Ngan. ATVA 2010 (2...

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, David

Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings

Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings
Paper図書
Ahmed Bouajjani, Wei-Ngan Chin (eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingATVA Bouajjani, Ahmed Chin, Wei-Ngan

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

Reached to the end of result.

RSS