Title

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

Publication Date

2008

Journal or Book Title

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

Volume

17

Pages

-

Issue

2

This document is currently not available here.

Share

COinS