@Inproceedings{FilipeMiguelMarcosApolinario_4_2022,
   author = "Filipe Miguel Marcos Apolin{\'a}rio and Nelson Escravana and {\'E}ric Herv{\'e} and Miguel Pardal and Miguel Correia",
   title = "FingerCI: Generating Specifications for Critical Infrastructures",
   booktitle = "ACM/SIGAPP 37th Symposium On Applied Computing (SAC)",
   year = 2022,
   month = apr,
   BibTexOrigem = "18745 www.Inesc-ID.pt 2023-03-23"
}

You may copy/past the above, or you may click here to export it

This is a recent BibTex adaptation in test which probably do not cover all the conversions needed
If you find an error or something missing, please tell us. Thanks for your comprehension!