@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 2020-06-03"
}

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