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

This document is currently not available here.

Share

COinS