Cerone, A.,
Fazli, S.,
Malone, K. &
Pietarinen, A-V.,
2020,
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers. Camara, J. & Steffen, M. (eds.). Switzerland:
Springer Nature,
p. 103-118 (Lecture Notes in Computer Scinece; vol. 12226).
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review