@mastersThesis{MarcosAntonioPiresFerreiradosSantos_1_2021, author = "Marcos Ant{\'o}nio Pires Ferreira dos Santos", title = "Automated Computational Complexity Estimation", school = "IST - Universidade de Lisboa", year = 2021, month = jan, type = "Master's Thesis", BibTexOrigem = "15302 www.Inesc-ID.pt 2023-06-07" }