Software verification aimed at security vulnerabilities - Gonçalo, Luís Miguel Agante (2019)
Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e Tecnologia