%0 Conference Paper %1 conf/ecoop/BaoLE15 %A Bao, Yuyan %A Leavens, Gary T. %A Ernst, Gidon %B FTfJP@ECOOP %D 2015 %E Monahan, Rosemary %I ACM %K dblp %P 5:1-5:6 %T Conditional effects in fine-grained region logic. %U http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2015.html#BaoLE15 %@ 978-1-4503-3656-7

@inproceedings{conf/ecoop/BaoLE15, added-at = {2024-05-07T00:00:00.000+0200}, author = {Bao, Yuyan and Leavens, Gary T. and Ernst, Gidon}, biburl = {https://www.bibsonomy.org/bibtex/20b6dda3eccff2e51d3b88d28bf463621/dblp}, booktitle = {FTfJP@ECOOP}, crossref = {conf/ecoop/2015ftfjp}, editor = {Monahan, Rosemary}, ee = {https://doi.org/10.1145/2786536.2786537}, interhash = {78b0ffcad2b2a58a9273f875096f4a2a}, intrahash = {0b6dda3eccff2e51d3b88d28bf463621}, isbn = {978-1-4503-3656-7}, keywords = {dblp}, pages = {5:1-5:6}, publisher = {ACM}, timestamp = {2024-05-13T10:06:01.000+0200}, title = {Conditional effects in fine-grained region logic.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2015.html#BaoLE15}, year = 2015 }