Title

Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning

Journal or Book Title

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

Publication Date

2008

Volume

17

Pages

-

Issue

2

This document is currently not available here.

Share

COinS