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
Springer International Publishing
Cham
Pages 1-18
2014
Note(s): binary analysis