Ignore:
Timestamp:
Sep 10, 2011, 12:09:42 PM (8 years ago)
Author:
mulligan
Message:

implemented referees comments

File:
1 edited

Legend:

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

    r1199 r1203  
    5555
    5656@inproceedings
     57{ myreen:extensible:2009,
     58  author = {M. O. Myreen and K. Slind and Michael J. C. Gordon},
     59  title = {Extensible proof-producing compilation},
     60  booktitle = {CC},
     61  volume = {5501},
     62  pages = {2--16},
     63  year = {2009}
     64}
     65
     66@inproceedings
     67{ hunt:verifying:2010,
     68  author = {W. A. Hunt Jr.},
     69  title = {Verifying {VIA Nano} microprocessor components},
     70  booktitle = {FMCAD},
     71  year = {2010}
     72}
     73
     74@inproceedings
    5775{ yan:wcet:2008,
    5876  author = {J. Yan and W. Zhang},
Note: See TracChangeset for help on using the changeset viewer.