LACL - Laboratoire d'algorithmique, complexité et logique

Rapport Hcéres

Rapport D’évaluation D’une Entité De Recherche Année : 2014

LACL - Laboratoire d'algorithmique, complexité et logique

Rapport Hcéres

Fonction : Auteur

Mots clés

Logique modèles de calcul spécification formelle vérification formelle

Fichier principal

E2015-EV-0941111X-S2PUR150008596-006513-RD.pdf (222.99 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Administrateur HCERES : Connectez-vous pour contacter le contributeur

https://hal-hceres.archives-ouvertes.fr/hceres-02033379

Soumis le : mercredi 20 février 2019-11:05:48

Dernière modification le : lundi 1 avril 2019-13:58:06

Dates et versions

hceres-02033379 , version 1 (20-02-2019)

Identifiants

HAL Id : hceres-02033379 , version 1

Citer

Rapport d’évaluation d’une entité de recherche. LACL - Laboratoire d'algorithmique, complexité et logique. 2014, Université Paris-Est Créteil Val de Marne - UPEC. ⟨hceres-02033379⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

4 Consultations

2 Téléchargements

LACL - Laboratoire d'algorithmique, complexité et logique

Mots clés

Dates et versions

Identifiants

Citer

Exporter

Partager