Talasila, P.,
Sanjari, A.,
Villadsen, K.,
Thule, C.,
Larsen, P. G. &
Macedo, H. D.,
2021,
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. Cleophas, L. & Massink, M. (red.). Cham:
Springer,
s. 311-317 7 s. (Lecture Notes in Computer Science, Bind 12524).
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review