Registrati | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

di JeanMarieGaillourdet library [4 articles]

Articoli aggiunti di recente nella biblioteca di JeanMarieGaillourdet .
  • Modular Verification of Static Class Invariants
    FM 2005: Formal Methods (2005), pp. 26-42.
    by Leino, Peter Müller
    posted to modular_verification by JeanMarieGaillourdet on 2008-07-22 14:31:23 as **
  • Evaluating the small scope hypothesis
    by A Andoni, D Daniliuc, S Khurshid, D Marinov
    posted to no-tag by JeanMarieGaillourdet on 2008-07-20 16:29:47 as ** along with 1 person seanc
  • A Pragmatic Survey of Automated Debugging
    Vol. 749 (1993)
    by M Ducasse
    posted to debugging automated by JeanMarieGaillourdet on 2008-07-20 16:14:31 as ** along with 1 person zhaogansen
  • The New WALDMEISTER Loop at Work
    Automated Deduction – CADE-19 (2003), pp. 317-321.
    by Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies
    posted to theorem_provers by JeanMarieGaillourdet on 2008-07-20 16:06:07 as read
    • Puoi citare questa pagina come: http://www.citeulike.org/user/JeanMarieGaillourdet

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.