Jump to main content

yr 〜
yr

Search results 9

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)
Paper図書
Springer[2015]<M17-16-504>
National Diet Library

Formal aspects of component software : 9th international symposium, FACS 2012 : Mountain View, CA, USA, September 12-14, 2012 : revised selected papers : Sep 2012, Mountain View, CA. (Lecture Notes in Computer Science ; 7684)

Formal aspects of component software : 9th international symposium, FACS 2012 : Mountain View, CA, USA, September 12-14, 2012 : revised selected papers : Sep 2012, Mountain View, CA. (Lecture Notes in Computer Science ; 7684)
Paper図書
Springerc2013.<M17-13-1623>
National Diet Library
  • Author Heading... View, Calif.) Păsăreanu, Corina S. Salaün, G. (Gwen) Carnegie Me...

2011 26th IEEE/ACM international conference on automated software engineering : (ASE 2011) : Lawrence, Kansas, USA : 6-10 November 2011 : Nov 2011, Lawrence, KS.

2011 26th IEEE/ACM international conference on automated software engineering : (ASE 2011) : Lawrence, Kansas, USA : 6-10 November 2011 : Nov 2011, Lawrence, KS.
Paper図書
IEEEc2011.<M17-12-2642>
National Diet Library

Model checking software : 16th international SPIN workshop : Grenoble, France, June 26-28, 2009 : proceedings. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5578)

Model checking software : 16th international SPIN workshop : Grenoble, France, June 26-28, 2009 : proceedings. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5578)
Paper図書
Springerc2009.<M17-10-301>
National Diet Library
  • Author HeadingPăsăreanu, Corina S. International SPIN Workshop (...

Theoretical aspects of computing -- ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022 : proceedings

Theoretical aspects of computing -- ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022 : proceedings
Paper図書
Helmut Seidl, Zhiming Liu, Corina S. Pasareanu (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingICTAC Seidl, Helmut Liu, Zhiming Păsăreanu, Corina S.

Symbolic execution and quantitative reasoning : applications to software safety and security

Symbolic execution and quantitative reasoning : applications to software safety and security
Paper図書
Corina S. PǎsǎreanuMorgan & Claypool Publishersc2020
Other Libraries in Japan
  • Author HeadingPǎsǎreanu, Corina S.

Software engineering and formal methods : 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021, proceedings

Software engineering and formal methods : 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021, proceedings
Paper図書
Radu Calinescu, Corina S. Păsăreanu (eds.)Springerc2021
Other Libraries in Japan
  • Author Heading...alinescu, Radu Păsăreanu, Corina S.

Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings pt. 1 pt. 2

Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings pt. 1 pt. 2
Paper図書
Daniel Kroening, Corina S. Păsăreanu (eds.)Springerc2015
Other Libraries in Japan
  • Author HeadingCAV (Conference) Kroening, Daniel Păsăreanu, Corina S.

Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings

Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings
Paper図書
Corina S. Păsăreanu (ed.)Springerc2009
Other Libraries in Japan
  • Author HeadingSPIN Păsăreanu, Corina S.

Reached to the end of result.

RSS