Cite
APA Citation
Butler, M., Raschke, A., Hoàng, T. S., & Reichl, K. (Eds.) (2018). Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Cham, Switzerland : Springer. http://access.bl.uk/ark:/81055/vdc_100074696673.0x000001