We have collected the most relevant information on Claudio Sacerdoti Coen Bologna. Open the URLs, which are collected below, and you will find all the info you are interested in.
Claudio Sacerdoti Coen — University of Bologna — Home …
https://www.unibo.it/sitoweb/claudio.sacerdoticoen/en
E-mail: [email protected]. Tel: +39 051 20 9 4973. Fax: +39 051 20 9 4510. Other contacts. Web: Go to personal web site.
Claudio Sacerdoti Coen — Università di Bologna — Home …
https://www.unibo.it/sitoweb/claudio.sacerdoticoen
[email protected]. Tel: +39 051 20 9 4973. Fax: +39 051 20 9 4510. Altri contatti. Web: Vai al sito personale. Dipartimento di Informatica - Scienza e Ingegneria.
Claudio Sacerdoti Coen's home page - Plone site
http://www.cs.unibo.it/~sacerdot/
C. Sacerdoti Coen. Mathematical Knowledge Management and Interactive Theorem Proving. PhD. thesis, Department of Computer Science, University of Bologna. C. Sacerdoti Coen. Progettazione e realizzazione con tecnologia XML di basi distribuite di conoscenza matematica formalizzata. Master thesis (Italian version only).
Claudio SACERDOTI COEN | University of Bologna, …
https://www.researchgate.net/profile/Claudio-Sacerdoti-Coen
Claudio SACERDOTI COEN | Cited by 951 | of University of Bologna, Bologna (UNIBO) | Read 97 publications | Contact Claudio SACERDOTI COEN
Claudio Sacerdoti Coen — University of Bologna — …
https://www.unibo.it/sitoweb/claudio.sacerdoticoen/publications
Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele, On the Prediction of Smart Contracts’ Behaviours, in: From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Springer Verlag, 2019, 11865, pp. 397 - 415 (atti di: Collquium in honour of Stefania Gnesi ...
Claudio Sacerdoti Coen — Università di Bologna — …
https://www.unibo.it/sitoweb/claudio.sacerdoticoen/pubblicazioni
Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele, On the Prediction of Smart Contracts’ Behaviours, in: From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11865, pp. 397 - 415 ...
Now you know Claudio Sacerdoti Coen Bologna
Now that you know Claudio Sacerdoti Coen Bologna, we suggest that you familiarize yourself with information on similar questions.