%0 Conference Paper %1 conf/sas/HermenegildoPBL03 %A Hermenegildo, Manuel V. %A Puebla, Germán %A Bueno, Francisco %A López-García, Pedro %B SAS %D 2003 %E Cousot, Radhia %I Springer %K dblp %P 127-152 %T Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). %U http://dblp.uni-trier.de/db/conf/sas/sas2003.html#HermenegildoPBL03 %V 2694 %@ 3-540-40325-6

@inproceedings{conf/sas/HermenegildoPBL03, added-at = {2021-04-09T00:00:00.000+0200}, author = {Hermenegildo, Manuel V. and Puebla, Germán and Bueno, Francisco and López-García, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/221d4bed650d9368b01378595561b27a1/dblp}, booktitle = {SAS}, crossref = {conf/sas/2003}, editor = {Cousot, Radhia}, ee = {https://doi.org/10.1007/3-540-44898-5_8}, interhash = {7ceb3f8b189c2b4c806aafb3c7793728}, intrahash = {21d4bed650d9368b01378595561b27a1}, isbn = {3-540-40325-6}, keywords = {dblp}, pages = {127-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:16:35.000+0200}, title = {Program Development Using Abstract Interpretation (And The Ciao System Preprocessor).}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2003.html#HermenegildoPBL03}, volume = 2694, year = 2003 }