% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : 216.73.216.237 % at : Fri, 13 Jun 2025 14:55:43 -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} } |