Farrell, M.,
Bradbury, M.,
Fisher, M.,
Dennis, L. A.,
Dixon, C.,
Yuan, H. &
Maple, C.,
1/09/2019,
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (eds.). Cham:
Springer International Publishing,
p. 471-490 20 p. (Lecture Notes in Computer Science ; vol. 11724).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review