Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /

Documenti analoghi

• Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
  di: Tiziana Margaria, Bernhard Steffen
  Pubblicazione: (2010, c2010)
• Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
  di: Tiziana Margaria, Bernhard Steffen
  Pubblicazione: (2010, c2010)
• Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /
  di: Tiziana Margaria, Bernhard Steffen
  Pubblicazione: (2008, c2008)
• Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
  di: Tiziana Margaria, Bernhard Steffen
  Pubblicazione: (2012, c2012)
• Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
  di: Tiziana Margaria, Bernhard Steffen
  Pubblicazione: (2012, c2012)