@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} }
Created: 2006-08-22 15:04:05
Copied to clipboard
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32