Publications & Reports

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

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.