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

Authors: Jurgen Dingel, David Garlan, Somesh Jha, and David Notkin

BIBTEX Citation

@Article (DGJN97,
Author = "J\"urgen Dingel and David Garlan and Somesh Jha and David Notkin" ,
Title = "Towards a formal treatment of implicit invocation using rely/guarantee reasoning",
journal = "Formal Aspects of Computing",
Year = 1998,
note = "To appear. Supersedes CMU-CS-97-153."