%0 Conference Paper %1 conf/birthday/AmadiniGSSS20 %A Amadini, Roberto %A Gange, Graeme %A Schachte, Peter %A Søndergaard, Harald %A Stuckey, Peter J. %B Gabbrielli's Festschrift %D 2020 %E de Boer, Frank S. %E Mauro, Jacopo %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 7:1-7:19 %T Abstract Interpretation, Symbolic Execution and Constraints. %U http://dblp.uni-trier.de/db/conf/birthday/gabbrielli2020.html#AmadiniGSSS20 %V 86 %@ 978-3-95977-171-9

@inproceedings{conf/birthday/AmadiniGSSS20, added-at = {2022-01-03T00:00:00.000+0100}, author = {Amadini, Roberto and Gange, Graeme and Schachte, Peter and Søndergaard, Harald and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/23910f95cfd60c47369bcf8519c00444c/dblp}, booktitle = {Gabbrielli's Festschrift}, crossref = {conf/birthday/2020gabbrielli}, editor = {de Boer, Frank S. and Mauro, Jacopo}, ee = {https://doi.org/10.4230/OASIcs.Gabbrielli.7}, interhash = {bce0075e2f127a8e49fb31674aa46b5b}, intrahash = {3910f95cfd60c47369bcf8519c00444c}, isbn = {978-3-95977-171-9}, keywords = {dblp}, pages = {7:1-7:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-04-09T14:05:38.000+0200}, title = {Abstract Interpretation, Symbolic Execution and Constraints.}, url = {http://dblp.uni-trier.de/db/conf/birthday/gabbrielli2020.html#AmadiniGSSS20}, volume = 86, year = 2020 }