%0 Conference Paper %1 conf/sas/PueblaAH06 %A Puebla, Germán %A Albert, Elvira %A Hermenegildo, Manuel V. %B SAS %D 2006 %E Yi, Kwangkeun %I Springer %K dblp %P 107-126 %T Abstract Interpretation with Specialized Definitions. %U http://dblp.uni-trier.de/db/conf/sas/sas2006.html#PueblaAH06 %V 4134 %@ 3-540-37756-5

@inproceedings{conf/sas/PueblaAH06, added-at = {2017-05-24T00:00:00.000+0200}, author = {Puebla, Germán and Albert, Elvira and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2586bb858ea066118368a2d9cfd8540c7/dblp}, booktitle = {SAS}, crossref = {conf/sas/2006}, editor = {Yi, Kwangkeun}, ee = {https://doi.org/10.1007/11823230_8}, interhash = {d91eeefe48682b24b3bfaf65f29cedcf}, intrahash = {586bb858ea066118368a2d9cfd8540c7}, isbn = {3-540-37756-5}, keywords = {dblp}, pages = {107-126}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:45:05.000+0200}, title = {Abstract Interpretation with Specialized Definitions.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2006.html#PueblaAH06}, volume = 4134, year = 2006 }