Publications

Dissertations

MSc Theses: 1

2020

- Ricardo Ciríaco da Graça advised by João F. Ferreira and Simão Melo de Sousa, Formal Verification of Pointer-Based Splay Trees in Iris, MSc Thesis, Dec. 2020 [bibTex]