correlating_program - Archive ouverte HAL

New interface

Documentation
French (FR)

English (EN)

Software Year :

correlating_program

(1, 2, 3)

1
2
3

Thibaut Girka

Function : Author
PersonId : 1034102

Mitsubishi Electric R&D Centre Europe [France]

Design, study and implementation of languages for proofs and programs

Institut de Recherche en Informatique Fondamentale

Domains

Computer Science [cs]

Thibaut Girka : Connect in order to contact the contributor

https://hal.inria.fr/hal-01831364

Submitted on : Thursday, July 5, 2018-6:43:17 PM

Last modification on : Tuesday, October 25, 2022-4:21:51 PM

Dates and versions

hal-01831364 , version 1 (05-07-2018)

Identifiers

HAL Id : hal-01831364 , version 1
SWHID : swh:1:rev:c8fca417ee9eefe25683042192da67470147be07

version :
Software License : Copyright (c) 2015, Thibaut Girka All rights reserved.
Code Repository :

Cite

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

Export

format_codemeta BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS7 CNRS INRIA INRIA2 USPC UNIV-PARIS UP-SCIENCES IRIF

138 View

12 Download

Share