%0 Journal Article %1 journals/fac/DingelGJN98 %A Dingel, Jürgen %A Garlan, David %A Jha, Somesh %A Notkin, David %D 1998 %J Formal Aspects Comput. %K dblp %N 3 %P 193-213 %T Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. %U http://dblp.uni-trier.de/db/journals/fac/fac10.html#DingelGJN98 %V 10

@article{journals/fac/DingelGJN98, added-at = {2022-05-09T00:00:00.000+0200}, author = {Dingel, Jürgen and Garlan, David and Jha, Somesh and Notkin, David}, biburl = {https://www.bibsonomy.org/bibtex/238bc3ac0766f57fadf82bd5c12657aba/dblp}, ee = {https://doi.org/10.1007/s001650050011}, interhash = {605203acc496367bf0692202819c4b9d}, intrahash = {38bc3ac0766f57fadf82bd5c12657aba}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 3, pages = {193-213}, timestamp = {2024-04-09T05:37:43.000+0200}, title = {Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac10.html#DingelGJN98}, volume = 10, year = 1998 }