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,
Vol. 12546.
p. 368-386 (Lecture Notes in Computer Science, Vol. 12546).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review