%0 Conference Paper %1 conf/tacas/RanzatoT05 %A Ranzato, Francesco %A Tapparo, Francesco %B TACAS %D 2005 %E Halbwachs, Nicolas %E Zuck, Lenore D. %I Springer %K dblp %P 140-156 %T An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2005.html#RanzatoT05 %V 3440 %@ 3-540-25333-5

@inproceedings{conf/tacas/RanzatoT05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Ranzato, Francesco and Tapparo, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2101c7a1101b60aaf862fe36c065998ca/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2005}, editor = {Halbwachs, Nicolas and Zuck, Lenore D.}, ee = {https://doi.org/10.1007/978-3-540-31980-1_10}, interhash = {e26bbbb0824f6cd74b4171bd8fe63279}, intrahash = {101c7a1101b60aaf862fe36c065998ca}, isbn = {3-540-25333-5}, keywords = {dblp}, pages = {140-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:24.000+0200}, title = {An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2005.html#RanzatoT05}, volume = 3440, year = 2005 }