Jump to main content

yr 〜
yr

Search results 5

Computer aided verification : 22nd international conference, CAV 2010 : Edinburgh, UK, July 15-19, 2010 : proceedings. : 22nd international conference on computer-aided verification : federated logic conference (FLoC 2010) : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6174)

Computer aided verification : 22nd international conference, CAV 2010 : Edinburgh, UK, July 15-19, 2010 : proceedings. : 22nd international conference on computer-aided verification : federated logic conference (FLoC 2010) : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6174)
Paper図書
Springerc2010.<M17-11-153>
National Diet Library
  • Author Heading...uili, Tayssir. Cook, Byron. Jackson, Paul B., 1962- CAV (...

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009 : Eindhoven, the Netherlands, November 2-3, 2009 : proceedings. : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : FMweek : 1st formal methods week : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5825)

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009 : Eindhoven, the Netherlands, November 2-3, 2009 : proceedings. : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : FMweek : 1st formal methods week : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5825)
Paper図書
Springerc2009.<M17-10-1649>
National Diet Library
  • Author HeadingAlpuente, María. Cook, Byron. Joubert, Christophe. Internat...

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

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings
Paper図書
María Alpuente, Byron Cook, Christophe Joubert (eds.)Springerc2009
Other Libraries in Japan

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

Reached to the end of result.

RSS