title = {Certified Complexity {(CerCo)}},
  author = {Roberto M. Amadio and Nicolas Ayache and Francois Bobot and Jaap P. Boender and Brian Campbell and Ilias Garnier and Antoine Madet and James McKinna and Dominic P. Mulligan and Mauro Piccolo and Randy Pollack and Yann R{\'{e}}gis-Gianas and Sacerdoti Coen, Claudio and Ian Stark and Paolo Tranquilli},
  booktitle = {Foundational and Practical Aspects of Resource Analysis (FOPARA 2013)},
  year = 2014,
  editor = {Dal Lago, Ugo and Ricardo Pe{\~{n}}a},
  volume = 8552,
  series = {Lecture Notes in Computer Science},
  pages = {1--18},
  publisher = {Springer},
  doi = {10.1007/978-3-319-12466-7_1},
  preprint = {cerco/fopara13-author-final.pdf},
  preprintnote = {The final publication is available at}