Ignore:
Timestamp:
May 19, 2011, 3:16:20 PM (9 years ago)
Author:
mulligan
Message:

final changes, now to get under 8 pages

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.bib

    r815 r817  
    193193
    194194@misc
     195{ moore:grand:2005,
     196  author = {J Strother Moore},
     197  title = {A Grand Challenge Proposal for Formal Methods},
     198  year = {2005}
     199}
     200
     201@misc
    195202{ oliboni:matita:2008,
    196203  author = {Cosimo A. Oliboni},
Note: See TracChangeset for help on using the changeset viewer.