Sciweavers

FAC
1998

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

13 years 9 months ago
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning
Jürgen Dingel, David Garlan, Somesh Jha, Davi
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1998
Where FAC
Authors Jürgen Dingel, David Garlan, Somesh Jha, David Notkin
Comments (0)