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. (eds.).
Springer,
p. 385-403 19 p. (Lecture Notes in Computer Science, Vol. 12476).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review