%0 Journal Article %1 journals/sigplan/FlanaganLLNSS13 %A Flanagan, Cormac %A Leino, K. Rustan M. %A Lillibridge, Mark %A Nelson, Greg %A Saxe, James B. %A Stata, Raymie %D 2013 %J ACM SIGPLAN Notices %K dblp %N 4S %P 22-33 %T PLDI 2002: Extended static checking for Java. %U http://dblp.uni-trier.de/db/journals/sigplan/sigplan48.html#FlanaganLLNSS13 %V 48

@article{journals/sigplan/FlanaganLLNSS13, added-at = {2020-05-26T00:00:00.000+0200}, author = {Flanagan, Cormac and Leino, K. Rustan M. and Lillibridge, Mark and Nelson, Greg and Saxe, James B. and Stata, Raymie}, biburl = {https://www.bibsonomy.org/bibtex/2b0b8752dbc2973a81395013b810c1770/dblp}, ee = {https://doi.org/10.1145/2502508.2502520}, interhash = {bc5668fe25b7c9f81a1ceeee68a33a51}, intrahash = {b0b8752dbc2973a81395013b810c1770}, journal = {ACM SIGPLAN Notices}, keywords = {dblp}, number = {4S}, pages = {22-33}, timestamp = {2020-05-27T11:40:28.000+0200}, title = {PLDI 2002: Extended static checking for Java.}, url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan48.html#FlanaganLLNSS13}, volume = 48, year = 2013 }