Publications & Reports

Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, and Alexandra Silva.

In: Goubault-Larrecq, J., König, B. (eds) Foundations of Software Science and Computation Structures. 2020

Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, and Mark Batty.

In: Müller, P. (eds) Programming Languages and Systems. ESOP 2020. Lecture Notes in Computer Science, vol 12075. 2020

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