Changeset 3308


Ignore:
Timestamp:
Jun 4, 2013, 4:34:53 PM (4 years ago)
Author:
sacerdot
Message:

Authors and affiliations

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.tex

    r3307 r3308  
    3535                        \[\fbox{\TheSbox}\]}
    3636
    37 \title{On the correctness of an assembler for the Intel MCS-51 microprocessor\thanks{The project CerCo acknowledges the financial support of the Future and Emerging Technologies (FET) programme within the Seventh Framework Programme for Research of the European Commission, under FET-Open grant number: 243881}}
    38 \author{Dominic P. Mulligan \and Claudio Sacerdoti Coen}
    39 \institute{Dipartimento di Scienze dell'Informazione, Universit\'a di Bologna}
     37\title{Certified Complexity (CerCo)\thanks{The project CerCo acknowledges the financial support of the Future and Emerging Technologies (FET) programme within the Seventh Framework Programme for Research of the European Commission, under FET-Open grant number: 243881}}
     38\author{Roberto M. Amadio$^{3,4}$ \and Nicolas Ayache$^4$ \and François Bobot$^4$ \and Jaap Boender$^1$ \and Brian Campbell$^2$ \and Ilias Garnier$^2$ \and
     39Antoine Madet$^4$ \and James McKinna$^2$ \and
     40Dominic P. Mulligan$^1$ \and Mauro Piccolo$^1$ \and Yann R\'egis-Gianas$^4$ \and
     41Claudio Sacerdoti Coen$^1$ \and Ian Stark$^2$ \and Paolo Tranquilli$^1$}
     42\institute{Dipartimento di Informatica - Scienza e Ingegneria, Universit\'a di Bologna \and
     43LFCS, University of Edinburgh
     44\and INRIA (Team $\pi$r2 )
     45\and
     46Universit\`e Paris Diderot
     47}
    4048
    4149\bibliographystyle{splncs03}
Note: See TracChangeset for help on using the changeset viewer.