Morbig

Yann Regis-Gianas 1, 2 Nicolas Jeannerod 3, 1 Ralf Treinen 1
2 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, UPD7 - Université Paris Diderot - Paris 7, PPS - Preuves, Programmes et Systèmes
Type de document :
Logiciel
Liste complète des métadonnées

Consulter

- Identifiant : swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8  Consulter

https://hal.inria.fr/hal-01897572
Contributeur : Yann Regis-Gianas <>
Soumis le : mercredi 17 octobre 2018 - 12:57:45
Dernière modification le : vendredi 4 janvier 2019 - 17:33:38

Collections

Citation

Yann Regis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig. 2018, 〈swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8〉. 〈hal-01897572〉

Partager

Métriques

Consultations de la notice

84

Téléchargements de fichiers

63