@inproceedings{Cousot-AVERTIS-2021, author = {Patrick Cousot}, title = {Abstract Interpretation of Graphs}, booktitle = {Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (AVERTIS)}, year = {2021}, editor = {John P. Gallagher and Roberto Giacobazzi and Pedro López-García}, note = {to appear}, }
Wed Aug 11 18:19:02 EDT 2021