%0 Journal Article %1 journals/tosem/CobleighAC08 %A Cobleigh, Jamieson M. %A Avrunin, George S. %A Clarke, Lori A. %D 2008 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 2 %P 7:1-7:52 %T Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. %U http://dblp.uni-trier.de/db/journals/tosem/tosem17.html#CobleighAC08 %V 17

@article{journals/tosem/CobleighAC08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cobleigh, Jamieson M. and Avrunin, George S. and Clarke, Lori A.}, biburl = {https://www.bibsonomy.org/bibtex/2d4694dd41abbe0c36d23a18d8fbe07ca/dblp}, ee = {https://doi.org/10.1145/1348250.1348253}, interhash = {31b7d0dfe9b161a10ce3723246b7046f}, intrahash = {d4694dd41abbe0c36d23a18d8fbe07ca}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 2, pages = {7:1-7:52}, timestamp = {2018-11-07T12:16:05.000+0100}, title = {Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem17.html#CobleighAC08}, volume = 17, year = 2008 }