Grov, G., Ireland, A., Llano, M. T., Kovacs, P., Colton, S. & Gow, J., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K.-D., Mashkoor, A. & Biro, M. (eds.). Springer, p. 282-2898 p. (Lecture Notes in Computer Science; vol. 9675).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Murali, R., Ireland, A. & Grov, G., 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K.-D., Mashkoor, A. & Biro, M. (eds.). Springer, p. 297-3026 p. (Lecture Notes in Computer Science; vol. 9675).
Research output: Chapter in Book/Report/Conference proceeding › Chapter