@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-01-16"
}
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