@mastersThesis{RuiCaneca__,
   author = "Rui Caneca",
   title = "{SDN} Synthesis",
   school = "Instituto Superior T{\'e}cnico / University of Lisbon",
   type = "Master's Thesis",
   BibTexOrigem = "16206 www.Inesc-ID.pt 2022-05-27"
}