%0 Conference Paper %1 Flanagan2002 %A Flanagan, Cormac %A Leino, K. Rustam M. %A Lillibridge, Mark %A Nelson, Greg %A Saxe, James B. %A Stata, Raymie %B Proc. of the ACM SIGPLAN 2002 Conf. on Programming language design and implementation %D 2002 %I ACM %K static_analysis software_quality source code %P 234-245 %T Extended Static Checking for Java

@inproceedings{Flanagan2002, added-at = {2009-12-15T20:55:25.000+0100}, author = {Flanagan, Cormac and Leino, K. Rustam M. and Lillibridge, Mark and Nelson, Greg and Saxe, James B. and Stata, Raymie}, biburl = {https://www.bibsonomy.org/bibtex/2d151b8fa6b9c16af39f79f4e1fd3d8f9/sjbutler}, booktitle = {Proc. of the ACM SIGPLAN 2002 Conf. on Programming language design and implementation}, interhash = {4f61b07eea31f0eb4e9da13c17f28a18}, intrahash = {d151b8fa6b9c16af39f79f4e1fd3d8f9}, keywords = {static_analysis software_quality source code}, pages = {234-245}, publisher = {ACM}, timestamp = {2009-12-15T20:55:26.000+0100}, title = {Extended Static Checking for Java}, year = 2002 }