Cite
HARVARD Citation
Butler, M. et al. (eds.) (2018) Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. [Online]. Cham, Switzerland : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100074696673.0x000001