Items where Author / Artist / Editor is "Sacerdoti Coen, Claudio"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Book Section

Boender, Jaap and Sacerdoti Coen, Claudio (2014) On the correctness of a branch displacement algorithm. In: Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Ábrahám, Erika and Havelund, Klaus, eds. Lecture Notes in Computer Science (8413) . Springer, pp. 605-619. ISBN 9783642548611. (doi:10.1007/978-3-642-54862-8_53)

Conference or Workshop Item

Amadio, Roberto M., Ayache, Nicolas, Bobot, Francois, Boender, Jaap, Campbell, Brian, Garnier, Ilias, Madet, Antoine, McKinna, James, Mulligan, Dominic P., Piccolo, Mauro, Pollack, Randy, Régis-Gianas, Yann, Sacerdoti Coen, Claudio, Stark, Ian and Tranquilli, Paolo (2014) Certified Complexity (CerCo). Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. In: Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), 29-31 Aug 2013, Bertinoro, Italy. ISBN 9783319124650. ISSN 0302-9743 (doi:10.1007/978-3-319-12466-7_1)

This list was generated on Sun Dec 15 05:17:53 2019 GMT.