@Inproceedings{JoseFragosoSantos_4_2020,
   author = "Jos{\'e} Fragoso Santos and Petar Maksimovic and Sacha-Elie Ayoun and Philippa Gardner",
   title = "Gillian, Part {I}: {A} Multi-language Platform for Symbolic Execution",
   booktitle = "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)",
   pages = 16,
   publisher = "ACM",
   location = "London",
   year = 2020,
   month = apr,
   BibTexOrigem = "15360 www.Inesc-ID.pt 2021-10-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!