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

Pages

-

Volume

17

Issue

2

This document is currently not available here.

Share

COinS