Modélisation et vérification déductive de smart contracts et blockchains.

par Zeinab Nehai

Projet de thèse en Informatique

Sous la direction de Hugues Fauconnier et de François Bobot.

Thèses en préparation à l'Université de Paris (2019-....) , dans le cadre de SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec INFORMATIQUE ALGORITHMIQUE :FONDEMENTS ET APPLICATIONS (equipe de recherche) depuis le 29-01-2019 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.