Changes between Version 26 and Version 27 of WikiStart


Ignore:
Timestamp:
Jun 22, 2011, 5:36:17 PM (8 years ago)
Author:
mulligan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v26 v27  
    1515=== Publications ===
    1616
    17 Publications that fall under the aegis of the CerCo project:
     17Publications that fall under the aegis of the !CerCo project:
    1818
    1919  * On the correctness of an assembler for the MCS-51 microprocessor. Dominic P. Mulligan and Claudio Sacerdoti Coen.  Submitted to CPP 2011.  Matita formalisation here.