Formal methods teaching, 5th international workshop, FMTea 2023 - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2023
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⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More