Jump to main content

yr 〜
yr

Search results 4

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) Giacobazzi, Roberto. Berdine, Josh. Mastroeni, Is...

Static analysis : 11th international symposium, SAS 2004 : Verona, Italy, August 26-28, 2004 : proceedings. : Aug 2004, Verona, Italy. (Lecture Notes in Computer Science ; 3148)

Static analysis : 11th international symposium, SAS 2004 : Verona, Italy, August 26-28, 2004 : proceedings. : Aug 2004, Verona, Italy. (Lecture Notes in Computer Science ; 3148)
Paper図書
Springerc2004.<M17-05-588>
National Diet Library
  • Author HeadingGiacobazzi, Roberto. International Static Analysi...

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Paper図書
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni(eds.)Springerc2013
Other Libraries in Japan
  • Author HeadingGiacobazzi, Roberto Berdine, Josh Mastroeni, Isab...

Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
Paper図書
Roberto Giacobazzi (ed.)Springerc2004
Other Libraries in Japan
  • Author HeadingSAS Giacobazzi, Roberto

Reached to the end of result.

RSS