% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-3-147-27-130.us-east-2.compute.amazonaws.com % at : Sat, 20 Jul 2024 15:33:04 -0400 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} }