Ignore:
Timestamp:
Jun 15, 2011, 3:39:44 PM (9 years ago)
Author:
mulligan
Message:

more work on paper

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2011/cpp-2011.bib

    r953 r960  
    7272
    7373@inproceedings
     74{ mulligan:executable:2011,
     75  author = {Dominic P. Mulligan and Claudio Sacerdoti Coen},
     76  title = {An executable formal semantics of the {MCS-51} microprocessor in {Matita}},
     77  booktitle = {Formal Methods in Computer Aided Design},
     78  year = {2011},
     79  note = {Submitted}
     80}
     81
     82@inproceedings
    7483{ yan:wcet:2008,
    7584  author = {Jun Yan and Wei Zhang},
     
    9099@misc
    91100{ cerco-report-code:2011,
    92   title = {{CerCo Deliverable D2.2}: prototype cost-preserving C compiler},
     101  title = {{CerCo Deliverable D2.2}: prototype cost-preserving {C} compiler},
    93102  howpublished = {\url{http://cerco.cs.unibo.it/raw-attachment/wiki/WikiStart/D2_2.pdf} and \url{http://cerco.cs.unibo.it/raw-attachment/wiki/WikiStart/D2_2_Code.tar.gz}},
    94103  year = {2011},
Note: See TracChangeset for help on using the changeset viewer.