Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publication no #186   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Toward a formal treatment of implicit invocation

Juergen Dingel, David Garlan, Somesh Jha and David Notkin.

Technical report, CMU-CS-97-153, Carnegie Mellon University School of Computer Science, July 1997.

Online links:   Bibtex entry   Plain Text

Keywords: Formal Methods, Implicit Invocation.  
    Created: 2006-08-22 15:04:05
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32