Publications & Reports

Duncan Mitchell and Johannes Kinder.

In: Sako, K., Schneider, S., Ryan, P. (eds) Computer Security – ESORICS 2019. Lecture Notes in Computer Science, vol 11735. 2019

Tom Ridge.

ICFP 2017. 2017

Mikolas Janota, Radu Grigore, and Vasco Manquinho.

arXiv: Logic in Computer Science. 2017

Blake Loring, Duncan Mitchell, and Johannes Kinder.

SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, July 2017, 196–199. 2017

Julian Nagele and Maria A Schett.

Preproceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2019, 166-180. 2019