Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
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: Tue June 20 2017 16:43:41
        BibAdmin