%0 Journal Article %1 journals/sigsoft/AndersonCM14 %A Anderson, Peter %A Chase, Brandon %A Mercer, Eric %D 2014 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 1 %P 1-7 %T JPF verification of habanero Java programs. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft39.html#AndersonCM14 %V 39

@article{journals/sigsoft/AndersonCM14, added-at = {2020-09-17T00:00:00.000+0200}, author = {Anderson, Peter and Chase, Brandon and Mercer, Eric}, biburl = {https://www.bibsonomy.org/bibtex/2989c8981f226406b83598de0a479c1e4/dblp}, ee = {https://doi.org/10.1145/2557833.2560582}, interhash = {5f3e7ebcd4b68e87f4dd2baa4070266b}, intrahash = {989c8981f226406b83598de0a479c1e4}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 1, pages = {1-7}, timestamp = {2020-09-18T11:38:51.000+0200}, title = {JPF verification of habanero Java programs.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft39.html#AndersonCM14}, volume = 39, year = 2014 }