%0 Conference Paper %1 conf/fossacs/AscariBG22 %A Ascari, Flavio %A Bruni, Roberto %A Gori, Roberta %B FoSSaCS %D 2022 %E Bouyer, Patricia %E Schröder, Lutz %I Springer %K dblp %P 21-39 %T Limits and difficulties in the design of under-approximation abstract domains. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2022.html#AscariBG22 %V 13242 %@ 978-3-030-99253-8

@inproceedings{conf/fossacs/AscariBG22, added-at = {2024-09-26T00:00:00.000+0200}, author = {Ascari, Flavio and Bruni, Roberto and Gori, Roberta}, biburl = {https://www.bibsonomy.org/bibtex/2b3c878c6e85fa2f7be1a6f914184f2a6/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2022}, editor = {Bouyer, Patricia and Schröder, Lutz}, ee = {https://doi.org/10.1007/978-3-030-99253-8_2}, interhash = {44e26e2f246ee3d3af32331536bf6e50}, intrahash = {b3c878c6e85fa2f7be1a6f914184f2a6}, isbn = {978-3-030-99253-8}, keywords = {dblp}, pages = {21-39}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-09-30T07:18:11.000+0200}, title = {Limits and difficulties in the design of under-approximation abstract domains.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2022.html#AscariBG22}, volume = 13242, year = 2022 }