%0 Conference Paper %1 conf/ecoop/RamosSANS23 %A Ramos, Frederico %A Sabino, Nuno %A Adão, Pedro %A Naumann, David A. %A Santos, José Fragoso %B ECOOP %D 2023 %E Ali, Karim %E Salvaneschi, Guido %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 24:1-24:29 %T Toward Tool-Independent Summaries for Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2023.html#RamosSANS23 %V 263 %@ 978-3-95977-281-5

@inproceedings{conf/ecoop/RamosSANS23, added-at = {2024-10-06T00:00:00.000+0200}, author = {Ramos, Frederico and Sabino, Nuno and Adão, Pedro and Naumann, David A. and Santos, José Fragoso}, biburl = {https://www.bibsonomy.org/bibtex/2a9de0337578ec69afe04c0e0b9b83250/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2023}, editor = {Ali, Karim and Salvaneschi, Guido}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.24}, interhash = {ae4d31f0c0dbb7266292e6103dbff378}, intrahash = {a9de0337578ec69afe04c0e0b9b83250}, isbn = {978-3-95977-281-5}, keywords = {dblp}, pages = {24:1-24:29}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-10-07T09:48:17.000+0200}, title = {Toward Tool-Independent Summaries for Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2023.html#RamosSANS23}, volume = 263, year = 2023 }