Gainer, P.,
Linker, S., Dixon, C., Hustadt, U. & Fisher, M.,
11/10/2018,
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Sun, J. & Sun, M. (eds.). Cham:
Springer,
p. 160-176 17 p. (Lecture Notes in Computer Science; vol. 11232).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review