NII Shonan school on Coq

Document type :
Rapport de recherche
Title :
NII Shonan school on Coq
Author(s) :
Castéran, Pierre [Auteur]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Garrigue, Jacques [Auteur]
Nagoya University
Nowak, David [Auteur] refId
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Extra Small Extra Safe [2XS]
Institution :
National Institute of Informatics
Publication date :
2015-02-24
HAL domain(s) :
Informatique [cs]/Logique en informatique [cs.LO]
Language :
Anglais
Collections :
Source :
Harvested from HAL