correlating_program - INRIA - Institut National de Recherche en Informatique et en Automatique

Documentation
Français (FR)

Anglais (EN)

Logiciel Année : 2018

correlating_program

(1, 2, 3)

1
2
3

Thibaut Girka

Fonction : Auteur
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

Domaines

Informatique [cs]

Thibaut Girka : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 5 juillet 2018-18:43:17

Dernière modification le : mardi 3 octobre 2023-17:18:04

Dates et versions

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

Identifiants

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

version :
softwareLicence : Copyright (c) 2015, Thibaut Girka All rights reserved.
codeRepository :

Citer

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

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS INRIA INRIA2 USPC UP-SCIENCES IRIF

140 Consultations

13 Téléchargements

Partager