1. Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. (2018) Editors: Butler, Michael, 1967-; Raschke, Alexander; Hoàng, Thái Sơn; Reichl, Klaus Other Names: ABZ (Conference), 6th Record Type: Book Extent: 1 online resource (xiv, 432 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗