SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /

Samankaltaisia teoksia

• Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /
  Tekijä: Klaus Havelund, Rupak Majumdar, Jens Palsberg
  Julkaistu: (2008)
• Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
  Tekijä: Patrice Godefroid
  Julkaistu: (2005)
• Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
  Tekijä: Thomas Ball, Sriram K. Rajamani
  Julkaistu: (2003)
• Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
  Tekijä: Jaco Pol, Michael Weber
  Julkaistu: (2010)
• Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings /
  Tekijä: Alex Groce, Madanlal Musuvathi
  Julkaistu: (2011)