Publicationsshelley2025-02-03T09:50:22+00:00

Publications & Reports

Thomas Bauereiss and Andrei Popescu.

Arch. Formal Proofs 2021. 2021

Andrei Popescu, Peter Lammich, and Thomas Bauereiss.

Arch. Formal Proofs 2021. 2021

Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, and Philippa Gardner.

In Huisman, M., Păsăreanu, C., Zhan, N. (eds) Formal Methods. FM 2021. Lecture Notes in Computer Science, vol 13047. 2021

Andrei Popescu, Thomas Bauereiss, and Peter Lammich.

In L. Cohen, & C. Kaliszyk (Eds.), 12th International Conference on Interactive Theorem Proving, ITP 2021, Italy, 3:1-3:20. 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

Eddie Jones and Steven Ramsay.

Proceedings of the ACM on Programming Languages, Volume 5, Issue POPL, 2021, Article No.: 55, 1–29. 2021

Filter by