Jensen, P. G.,
Jørgensen, K. Y.,
Larsen, K. G.,
Mikučionis, M.,
Rodriguez, M. A. M. &
Poulsen, D. B.,
2020,
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.).
Springer,
s. 385-403 19 s. (Lecture Notes in Computer Science, Bind 12476).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review