%0 Conference Paper %1 conf/esop/HankinH92 %A Hankin, Chris %A Hunt, Sebastian %B ESOP %D 1992 %E Krieg-Brückner, Bernd %I Springer %K dblp %P 219-232 %T Approximate Fixed Points in Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/esop/esop92.html#HankinH92 %V 582 %@ 3-540-55253-7

@inproceedings{conf/esop/HankinH92, added-at = {2021-10-14T00:00:00.000+0200}, author = {Hankin, Chris and Hunt, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/2620a8858a12286ffd5c5f4a524e85a7a/dblp}, booktitle = {ESOP}, crossref = {conf/esop/1992}, editor = {Krieg-Brückner, Bernd}, ee = {https://doi.org/10.1007/3-540-55253-7_13}, interhash = {9b69afd02d7871655689d2e56f63edb8}, intrahash = {620a8858a12286ffd5c5f4a524e85a7a}, isbn = {3-540-55253-7}, keywords = {dblp}, pages = {219-232}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:44:57.000+0200}, title = {Approximate Fixed Points in Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop92.html#HankinH92}, volume = 582, year = 1992 }