Certified Complexity (CerCo)

Roberto Amadio, Nicolas Ayache, Francois Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic Mulligan, Mauro Piccolo, Robert Pollack, Yann Régis-Giannas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Filter
Finished

Search results