Publications & Reports

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim.

Formal Aspects of Computing, Volume 33, Issue 4-5, 547–573. 2021

Kristoffer Just Arndal Andersen and Ilya Sergey.

Journal of Functional Programming, 31, E3, 2021. 2021

Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim.

Logical Methods in Computer Science, July 28, 2022, Volume 18, Issue 3. 2022