@inproceedings{conf/issta/CobleighAC06,
	title = {Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.},
	author = {Jamieson M. Cobleigh and George S. Avrunin and Lori A. Clarke},
	booktitle = {ISSTA},
	crossref = {conf/issta/2006},
	editor = {Lori L. Pollock and Mauro Pezzè},
	pages = {97-108},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/issta/issta2006.html#CobleighAC06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2817c4ffeefc3aefd2266e2532dd613e5/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1146238.1146250}, isbn = {1-59593-263-1}, date = {2006-12-06},
	keywords = {dblp }
}