%
% GENERATED FROM http://acme.able.cs.cmu.edu
%    by   : anonymous
%    IP   : ec2-18-119-137-171.us-east-2.compute.amazonaws.com
%    at   : Wed, 19 Feb 2025 16:02:35 -0500 GMT
%    
% Selection : Publication #186
%


<tr><td><table><tr><td>

@TechReport{Dingel1997,
      AUTHOR = {Dingel, Juergen and Garlan, David and Jha, Somesh and Notkin, David},
      TITLE = {Toward a formal treatment of implicit invocation},
      YEAR = {1997},
      MONTH = {July},
      NUMBER = {CMU-CS-97-153},
      INSTITUTION = {Carnegie Mellon University School of Computer Science},
      KEYWORDS = {Formal Methods, Implicit Invocation}
}