Searching for "Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Applications, pages 271 285, 1997. [91] Will Tracz.
by Confessions Of Used, W. F. Tichy, R. L. Adams
…. Dingel, D. Garlan, S. Jha, and D. Notkin. Towards a formal treatment of implicit invocation using rely/guarantee…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB