Skip to Main content Skip to Navigation

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
UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, Inria de Paris
Document type :
Software
Complete list of metadatas

Browse

Present sur SoftwareHeritage
swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8;origin=https://hal.archives-ouvertes.fr/hal-01897572;visit=swh:1:snp:e3b0b9991945262e7cc28768373af4560caf7afa;anchor=swh:1:rev:ad0c16675d221938530269610308cd5a2c142687;path=/

https://hal.inria.fr/hal-01897572
Contributor : Yann Regis-Gianas <>
Submitted on : Wednesday, October 17, 2018 - 12:57:45 PM
Last modification on : Tuesday, December 8, 2020 - 10:25:02 AM

Share

Metrics

Record views

204

Files downloads

406