% % 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 %
@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} }