2018 | Buch
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
herausgegeben von: Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
Verlag: Springer International Publishing
Buchreihe : Lecture Notes in Computer Science