correlating_program

Thibaut Girka 1, 2, 3
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
Document type :
Software
Liste complète des métadonnées

Browse

- Identifier : swh:1:rev:c8fca417ee9eefe25683042192da67470147be07  Browse

https://hal.inria.fr/hal-01831364
Contributor : Thibaut Girka <>
Submitted on : Thursday, July 5, 2018 - 6:43:17 PM
Last modification on : Wednesday, February 6, 2019 - 11:26:02 AM

Collections

Citation

Share

Metrics

Record views

161

Files downloads

25