%0 Conference Paper %1 conf/pldi/FlanaganLLNSS02 %A Flanagan, Cormac %A Leino, K. Rustan M. %A Lillibridge, Mark %A Nelson, Greg %A Saxe, James B. %A Stata, Raymie %B PLDI %D 2002 %E Knoop, Jens %E Hendren, Laurie J. %I ACM %K dblp %P 234-245 %T Extended Static Checking for Java. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2002.html#FlanaganLLNSS02 %@ 1-58113-463-0

@inproceedings{conf/pldi/FlanaganLLNSS02, added-at = {2021-07-31T00: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/20578d6177f2ab0fdd66016e72f977d94/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2002}, editor = {Knoop, Jens and Hendren, Laurie J.}, ee = {https://www.wikidata.org/entity/Q56812484}, interhash = {4f61b07eea31f0eb4e9da13c17f28a18}, intrahash = {0578d6177f2ab0fdd66016e72f977d94}, isbn = {1-58113-463-0}, keywords = {dblp}, pages = {234-245}, publisher = {ACM}, timestamp = {2024-04-09T19:00:06.000+0200}, title = {Extended Static Checking for Java.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2002.html#FlanaganLLNSS02}, year = 2002 }