%0 Conference Paper %1 conf/aosd/KhatchadourianS07 %A Khatchadourian, Raffi %A Soundarajan, Neelam %B SPLAT %D 2007 %E Bergmans, Lodewijk %E Brichau, Johan %E Ernst, Erik %E Gybels, Kris %I ACM %K dblp %P 5 %T Rely-guarantee approach to reasoning about aspect-oriented programs. %U http://dblp.uni-trier.de/db/conf/aosd/splat2007.html#KhatchadourianS07 %V 217

@inproceedings{conf/aosd/KhatchadourianS07, added-at = {2018-11-06T00:00:00.000+0100}, author = {Khatchadourian, Raffi and Soundarajan, Neelam}, biburl = {https://www.bibsonomy.org/bibtex/250ced86eea33bf601eaa4dcaf5f4d980/dblp}, booktitle = {SPLAT}, crossref = {conf/aosd/2007splat}, editor = {Bergmans, Lodewijk and Brichau, Johan and Ernst, Erik and Gybels, Kris}, ee = {https://doi.org/10.1145/1233843.1233848}, interhash = {0ef05a79d036ac522ba34580f863d61c}, intrahash = {50ced86eea33bf601eaa4dcaf5f4d980}, keywords = {dblp}, pages = 5, publisher = {ACM}, series = {ACM International Conference Proceeding Series}, timestamp = {2024-04-09T22:47:07.000+0200}, title = {Rely-guarantee approach to reasoning about aspect-oriented programs.}, url = {http://dblp.uni-trier.de/db/conf/aosd/splat2007.html#KhatchadourianS07}, volume = 217, year = 2007 }