Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

Michael J. Butler Alexander Raschke Thai Son Hoang Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings ABZ Springer 2018 Lecture Notes in Computer Science 10817 978-3-319-91270-7 978-3-319-91271-4 https://doi.org/10.1007/978-3-319-91271-4 db/conf/asm/abz2018.html