Barbara Heyd. Application de la théorie des types et du démonstrateur COQ à la vérification de programmes parallèles. (Application of type theory and the COQ assistant to the verification of parallel programs). PhD thesis, Henri Poincaré University, Nancy, France, 1997. [doi]
Abstract is missing.