Publications

Dissertations

MSc Theses: 1

2020

- João Francisco Roberto Martins advised by João F. Ferreira and Rui Abreu, Prioritizing Facebook´s Infer Static Analysis Tool Warnings, MSc Thesis, Nov. 2020 [bibTex]