Type annotation for SAST - Pereira, Marco Avelino Teixeira (2023)
Dissertação de mestrado em Informatics Engineering