Title
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
Publication Date
2008
Pages
-
Volume
17
Issue
2
Journal Title
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
COinS
This document is currently not available here.