%0 Journal Article %1 journals/sigsoft/NakadeM15 %A Nakade, Radha %A Mercer, Eric %D 2015 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 6 %P 1-4 %T Verification of Habanero Java Programs using Computation Graphs. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft40.html#NakadeM15 %V 40

@article{journals/sigsoft/NakadeM15, added-at = {2020-09-17T00:00:00.000+0200}, author = {Nakade, Radha and Mercer, Eric}, biburl = {https://www.bibsonomy.org/bibtex/2ea70c78e18c26164e5c53a65c76dfe4e/dblp}, ee = {https://doi.org/10.1145/2830719.2830733}, interhash = {1feaba2648652f6715d1b043efcc2a31}, intrahash = {ea70c78e18c26164e5c53a65c76dfe4e}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 6, pages = {1-4}, timestamp = {2020-09-18T11:38:01.000+0200}, title = {Verification of Habanero Java Programs using Computation Graphs.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft40.html#NakadeM15}, volume = 40, year = 2015 }