Debois, S.,
López, H. A.,
Slaats, Tijs,
Andaloussi, A. A. &
Hildebrandt, Thomas Troels,
2020,
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Springer,
Bind 12546.
s. 368-386 (Lecture Notes in Computer Science, Bind 12546).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt