Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
Journal or Book Title
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Cobleigh, JM; Avrunin, GS; and Clarke, LA, "Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning" (2008). Computer Science Department Faculty Publication Series. 420.
This document is currently not available here.