@Book{MiguelCorreia_9_2017, author = "Miguel Correia and Paulo Jorge Sousa", title = "Seguranca no Software", publisher = "NCA", year = 2017, month = sep, BibTexOrigem = "13337 www.Inesc-ID.pt 2022-08-13" }