Roberto M. Amadio, Nicolas Ayache, Francois Bobot, Jaap P. Boender, Brian
Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan,
Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio
Sacerdoti Coen, Ian Stark, and Paolo Tranquilli.
Certified complexity (CerCo).
In Ugo Dal Lago and Ricardo Peña, editors, Foundational
and Practical Aspects of Resource Analysis (FOPARA 2013), volume 8552 of
Lecture Notes in Computer Science, pages 1--18. Springer, 2014.
The final publication is available at link.springer.com.
[ bib |
DOI |
Author's version ]