%0 Journal Article %1 journals/ipl/FlanaganJL01 %A Flanagan, Cormac %A Joshi, Rajeev %A Leino, K. Rustan M. %D 2001 %J Inf. Process. Lett. %K dblp %N 2-4 %P 97-108 %T Annotation inference for modular checkers. %U http://dblp.uni-trier.de/db/journals/ipl/ipl77.html#FlanaganJL01 %V 77

@article{journals/ipl/FlanaganJL01, added-at = {2003-11-20T00:00:00.000+0100}, author = {Flanagan, Cormac and Joshi, Rajeev and Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/2faa71b5b0e46da8acc46988503b14cc9/dblp}, date = {2003-11-20}, description = {dblp}, ee = {http://dx.doi.org/10.1016/S0020-0190(00)00196-4}, interhash = {b420387d1bd2f215b48f48bab6a5b53a}, intrahash = {faa71b5b0e46da8acc46988503b14cc9}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = {2-4}, pages = {97-108}, timestamp = {2003-11-20T00:00:00.000+0100}, title = {Annotation inference for modular checkers.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl77.html#FlanaganJL01}, volume = 77, year = 2001 }