Publications

Alastair F. Donaldson, Ben Clayton, Ryan Harrison, Hasan Mohsin, David Neto, Vasyl Teliman, and Hana Watson.

IEEE Conference on Software Testing, Verification and Validation (ICST 2023). 2023

Stefan Zetzsche, Alexandra Silva, and Matteo Sammartino.

Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 – Proceedings of MFPS XXXVIII, February 28, 2023, entics:10505. 2023

Hans-J. Boehm, Ori Lahav, and Azalea Raad.

In Dagstuhl Reports, Volume 11, Issue 10, pp. 94-110, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022) 2022

Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, and John Wickerson

In: Sergey, I. (eds) Programming Languages and Systems. ESOP 2022. Lecture Notes in Computer Science, vol 13240. 2022

Daniel Wright.

PhD Thesis, University of Kent. 2022

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

Wilmer Ricciotti and James Cheney.

Journal of Automated Reasoning 66, 989–1030. 2022

Publications & Reports