diff --git a/publications.bib b/publications.bib index c4299ab6cbb8a1cf5e54368dfb80ab328a779cce..af7b57f43ab1c21d12bce0fab54eadda3eb2481e 100644 --- a/publications.bib +++ b/publications.bib @@ -2019,7 +2019,7 @@ abstract = {Anti-unification is the task of generalizing a set of expressions i @PhdThesis{Sampaio2022Trusted, author = {Gabriela Sampaio}, -title = {A trusted infrastructure for symbolic analysis of event-based web APIs}, +title = {A Trusted Infrastructure for Symbolic Analysis of Event-based Web APIs}, school = {Imperial College London}, year = {2022}, month = march,