Ignore:
Timestamp:
Jun 15, 2011, 5:59:18 PM (8 years ago)
Author:
mulligan
Message:

commit as i need some money for the communists

File:
1 edited

Legend:

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

    r960 r970  
    11@article
    22{ asperti:user:2007,
    3   author = {Andrea Asperti and Claudio Sacerdoti Coen and Enrico Tassi and Stefano Zacchiroli},
     3  author = {Andrea Asperti and Claudio {Sacerdoti Coen} and Enrico Tassi and Stefano Zacchiroli},
    44  title = {User interaction with the {Matita} proof assistant},
    55  journal = {Journal of Automated Reasoning},
     
    7373@inproceedings
    7474{ mulligan:executable:2011,
    75   author = {Dominic P. Mulligan and Claudio Sacerdoti Coen},
     75  author = {Dominic P. Mulligan and Claudio {Sacerdoti Coen}},
    7676  title = {An executable formal semantics of the {MCS-51} microprocessor in {Matita}},
    7777  booktitle = {Formal Methods in Computer Aided Design},
Note: See TracChangeset for help on using the changeset viewer.