Changeset 543


Ignore:
Timestamp:
Feb 16, 2011, 5:34:45 PM (6 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

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

    r542 r543  
    4949\DeclareUnicodeCharacter{9002}{\ensuremath{\rangle}}
    5050
    51 % Who is first author?  Is CSC classed as a `S', or as a `C'?
    52 \author{Dominic P. Mulligan \and Claudio Sacerdoti Coen}
     51\author{Dominic P. Mulligan\thanks{The project CerCo acknowledges the financial support of the Future and
     52Emerging Technologies (FET) programme within the Seventh Framework
     53Programme for Research of the European Commission, under FET-Open grant
     54number: 243881} \and Claudio Sacerdoti Coen$^\star$}
    5355\authorrunning{D. P. Mulligan and C. Sacerdoti Coen}
    5456\title{An executable formalisation of the MCS-51 microprocessor in Matita}
Note: See TracChangeset for help on using the changeset viewer.