Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Documenti analoghi

• Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings /
  di: Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
  Pubblicazione: (2010, c2010)
• Abstract State Machines, Alloy, B, TLA, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : Proceedings /
  Pubblicazione: (2012, c2012)
• Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014 Toulouse, France, June 2-6, 2014 Proceedings /
  Pubblicazione: (2014, c2014)
• Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
  di: Egon Börger, Angelo Gargantini, Elvinia Riccobene
  Pubblicazione: (2003, c2003)
• ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
  di: Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
  Pubblicazione: (2000, c2000)