%0 Conference Paper %1 conf/fopara/AmadioABBCGMMMPPRCST13 %A Amadio, Roberto M. %A Ayache, Nicholas %A Bobot, François %A Boender, Jaap %A Campbell, Brian %A Garnier, Ilias %A Madet, Antoine %A McKinna, James %A Mulligan, Dominic P. %A Piccolo, Mauro %A Pollack, Randy %A Régis-Gianas, Yann %A Coen, Claudio Sacerdoti %A Stark, Ian %A Tranquilli, Paolo %B FOPARA %D 2013 %E Lago, Ugo Dal %E Peña, Ricardo %I Springer %K %P 1-18 %T Certified Complexity (CerCo). %U http://dblp.uni-trier.de/db/conf/fopara/fopara2013.html#AmadioABBCGMMMPPRCST13 %V 8552 %@ 978-3-319-12465-0

@inproceedings{conf/fopara/AmadioABBCGMMMPPRCST13, added-at = {2023-12-12T19:23:54.000+0100}, author = {Amadio, Roberto M. and Ayache, Nicholas and Bobot, François and Boender, Jaap and Campbell, Brian and Garnier, Ilias and Madet, Antoine and McKinna, James and Mulligan, Dominic P. and Piccolo, Mauro and Pollack, Randy and Régis-Gianas, Yann and Coen, Claudio Sacerdoti and Stark, Ian and Tranquilli, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2d744b497896ce2631f88aad216c7f278/admin}, booktitle = {FOPARA}, crossref = {conf/fopara/2013}, editor = {Lago, Ugo Dal and Peña, Ricardo}, ee = {https://doi.org/10.1007/978-3-319-12466-7_1}, interhash = {201c756fa2c600d13914eea9260ff68c}, intrahash = {d744b497896ce2631f88aad216c7f278}, isbn = {978-3-319-12465-0}, keywords = {}, pages = {1-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:23:54.000+0100}, title = {Certified Complexity (CerCo).}, url = {http://dblp.uni-trier.de/db/conf/fopara/fopara2013.html#AmadioABBCGMMMPPRCST13}, volume = 8552, year = 2013 }