Publicationsshelley2024-07-29T13:30:35+00:00

Publications & Reports

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

Andrea Giugliano.

PhD Thesis, University of Leicester. 2018

VeTSS, 2024.

Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, Azalea Raad.

Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA2
Article No.: 341, Pages 1982 – 2009. OOPSLA 2024.

Filter by