Special issue: Selected papers based on the presentations at the first international conference on abstract state machines, B and Z (ABZ 2008), London, UK, September 16--18, 2008

MaRDI QIDQ617342zbMATH OpenFDO

Authors

Publication date 21 January 2011

Published in Formal Aspects of Computing (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16--18, 2008. Proceedings
• Special issue: Best papers based on the presentations at the second international conference on abstract state machines, alloy, B and Z (ABZ 2010), Orford, QC, Canada, February 22--25, 2010
• Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18--21, 2012. Proceedings
• Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22--25, 2010. Proceedings
• Abstract state machines, Alloy, B, TLA, VDM, and Z. 6th international conference, ABZ 2018, Southampton, UK, June 5--8, 2018. Proceedings
• scientific article; zbMATH DE number 5170628
• Abstract state machines, Alloy, B, TLA, VDM, and Z. 5th international conference, ABZ 2016, Linz, Austria, May 23--27, 2016. Proceedings
• Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2--6, 2014. Proceedings
• scientific article; zbMATH DE number 1535229
• scientific article; zbMATH DE number 1535231

This page was built for publication: Special issue: Selected papers based on the presentations at the first international conference on abstract state machines, B and Z (ABZ 2008), London, UK, September 16--18, 2008

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q617342)