Ignore:
Timestamp:
Feb 18, 2011, 3:08:04 PM (9 years ago)
Author:
mulligan
Message:

slight tweaks

File:
1 edited

Legend:

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

    r577 r579  
     1@article
     2{ asperti:user:2007,
     3  author = {Andrea Asperti and Claudio Sacerdoti Coen and Enrico Tassi and Stefano Zacchiroli},
     4  title = {User interaction with the {Matita} proof assistant},
     5  journal = {Journal of Automated Reasoning},
     6  pages = {109--139},
     7  volume = {39},
     8  issue = {2},
     9  year = {2007}
     10}
     11
    112@article
    213{ bate:wcet:2011,
     
    8192  author = {Jacques Garrigue},
    8293  title = {Programming with polymorphic variants},
    83   booktitle = {The {ML} Workshop},
     94  booktitle = {{ML} Workshop},
    8495  year = {1998}
    8596}
     
    130141
    131142@misc
     143{ cerco-code:2011,
     144  title = {{CerCo Deliverable D4.1}: Matita and O'Caml code},
     145  howpublished = {\url{http://cerco.cs.unibo.it/raw-attachment/wiki/WikiStart/D4_1_Code.tar.gz}},
     146  year = {2011},
     147  key = {{CerCo-code}}
     148}
     149
     150@misc
    132151{ cerco-report:2011,
    133   title = {D4.1: executable formal semantics of machine code},
     152  title = {{CerCo Deliverable D4.1}:: executable formal semantics of machine code},
    134153  howpublished = {\url{http://cerco.cs.unibo.it/raw-attachment/wiki/WikiStart/D4_1.pdf}},
    135154  year = {2011},
Note: See TracChangeset for help on using the changeset viewer.