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
PPS - Preuves, Programmes et Systèmes, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Document type :
Software
Liste complète des métadonnées

Browse

- Identifier : swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8  Browse

https://hal.inria.fr/hal-01897572
Contributor : Yann Regis-Gianas <>
Submitted on : Wednesday, October 17, 2018 - 12:57:45 PM
Last modification on : Friday, January 4, 2019 - 5:33:38 PM

Collections

Citation

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

Share

Metrics

Record views

114

Files downloads

67