Draft. Submitted for publication.
BIBTEX Citation
@Techreport{DGJN97,
author = "Juergen Dingel and David Garlan and Somesh Jha and
David Notkin ",
title = "Towards a formal treatment of implicit invocation",
institution = "Department of Computer Science, Carnegie Mellon University",
number = "CMU-CS-97-153",
address = "Pittsburgh, USA",
year = "1997"
@Misc{Dingel97FME,
key = {Dingel},
author = {Jurgen Dingel and David Garlan and Somesh Jha and
David Notkin},
title = {Towards a Formal Treatment of Implicit Invocation},
howpublished = {Accepted for publication in Formal Aspects of Computing},
year = 1997}