Formal methods teaching, 5th international workshop, FMTea 2023 - Archive ouverte HAL
Proceedings/Recueil Des Communications Année : 2023

Formal methods teaching, 5th international workshop, FMTea 2023

Domaines

Informatique [cs]

Catherine Dubois  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04343457

Soumis le : mercredi 13 décembre 2023-19:39:45

Dernière modification le : mardi 17 septembre 2024-15:51:40

Fichier non déposé

Dates et versions

hal-04343457 , version 1 (13-12-2023)

Identifiants

Citer

Catherine Dubois, Pierluigi San Pietro. Formal methods teaching, 5th international workshop, FMTea 2023. 5th International Workshop (FMTea), 13962, Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-27534-0⟩. ⟨hal-04343457⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

TELECOM-SUDPARIS IP_PARIS ENSIIE INSTITUT-MINES-TELECOM
25 Consultations
0 Téléchargements

Altmetric

Partager

More