Butler, M., Raschke, A., Hoang, T. S., & Reichl, K. (2018). Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (1st ed. 2018.). Cham: Springer International Publishing : Imprint: Springer.
Chicago Style CitationButler, Michael., Alexander Raschke, Thai Son Hoang, and Klaus Reichl. Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings. 1st ed. 2018. Cham: Springer International Publishing : Imprint: Springer, 2018.
MLA CitationButler, Michael., Alexander Raschke, Thai Son Hoang, and Klaus Reichl. Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings. 1st ed. 2018. Cham: Springer International Publishing : Imprint: Springer, 2018.