Software verification aimed at security vulnerabilities

Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e Tecnologia

Bibliographic Details
Main Author: Gonçalo, Luís Miguel Agante (author)
Format: masterThesis
Language:eng
Published: 2019
Subjects:
Online Access:http://hdl.handle.net/10316/88060
Country:Portugal
Oai:oai:estudogeral.sib.uc.pt:10316/88060