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

Documenti analoghi

• Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /
  di: Klaus Havelund, Rupak Majumdar, Jens Palsberg
  Pubblicazione: (2008, c2008)
• Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
  di: Patrice Godefroid
  Pubblicazione: (2005, c2005)
• Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
  di: Thomas Ball, Sriram K. Rajamani
  Pubblicazione: (2003, c2003)
• Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
  di: Jaco Pol, Michael Weber
  Pubblicazione: (2010, c2010)
• Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
  di: Antti Valmari
  Pubblicazione: (2006, c2006)