yr 〜
yr

Search results 2

Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2140>
National Diet Library
  • Author Heading...rahám, Erika. Havelund, Klaus, 1955- Universite Joseph Fourier de ...

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)
Paper図書
Springerc2008.<M17-08-2037>
National Diet Library
  • Author HeadingHavelund, Klaus, 1955- Majumdar, Rupak. Palsberg, Je...

Reached to the end of result.