Ignore:
Timestamp:
Feb 17, 2014, 12:09:32 PM (6 years ago)
Author:
mulligan
Message:

More changes, including more missing references (including to CerCo?'s site with deliverables and papers) added. Finished up to Section 4.3.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.bib

    r3442 r3443  
    134134  author    = {Mulligan, Dominic P.  and
    135135               Sacerdoti Coen, Claudio},
    136   title     = {On the Correctness of an Optimising Assembler for the Intel
    137                MCS-51 Microprocessor},
     136  title     = {On the Correctness of an Optimising Assembler for the {Intel
     137               MCS-51} Microprocessor},
    138138  booktitle = {CPP},
    139139  year      = {2012},
     
    179179               Jocelyn S{\'e}rot and
    180180               Andy Wallace},
    181   title     = {{The Embounded Project (Project Start Paper)}},
     181  title     = {{The {EmBounded} Project (Project Start Paper)}},
    182182  booktitle = {TFP},
    183183  year      = {2005},
     
    203203               Claudio Sacerdoti Coen and
    204204               Enrico Tassi},
    205   title     = {The Matita Interactive Theorem Prover},
     205  title     = {The {Matita} Interactive Theorem Prover},
    206206  booktitle = {CADE},
    207207  year      = {2011},
     
    281281@misc
    282282{ absint,
    283   year = {2014},
    284283  url = {http://www.absint.com/ait/},
    285284  author = {{AbsInt}},
    286285  title = {{aiT WCET} analysis tools}
    287286}
     287
     288@misc
     289{ cerco-deliverables,
     290  url = {http://cerco.cs.unibo.it},
     291  title = {The {Certified Complexity} ({CerCo}) project papers and deliverables},
     292  key = {cerco}
     293}
Note: See TracChangeset for help on using the changeset viewer.