Certified complexity (CerCo)

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, Paolo Tranquilli
[ISBN] [Google Scholar] [DBLP] [Citeseer]

Foundational and Practical Aspects of Resource Analysis
Springer International Publishing
Cham
Pages 1-18
2014
Note(s): binary analysis