Skip to Main content Skip to Navigation

correlating_program

Thibaut Girka 1, 2, 3
1 MERCE-France - Mitsubishi Electric R&D Centre Europe [France]
2 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, UPD7 - Université Paris Diderot - Paris 7
3 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
Document type :
Software
Complete list of metadatas

Browse

Present sur SoftwareHeritage - 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 : Saturday, April 11, 2020 - 1:51:37 AM

Metadata


Software License
Copyright (c) 2015, Thibaut Girka All rights reserved.

Collections

CNRS | UNIV-PARIS7 | USPC | INRIA | UP-SCIENCES

Citation

Thibaut Girka. correlating_program. 2018, ⟨swh:1:rev:c8fca417ee9eefe25683042192da67470147be07⟩. ⟨hal-01831364⟩

Share

Metrics

Record views

205

Files downloads

30

 

Contact                    Legal Notice                    Personal Data