Proceedings/Recueil Des Communications Année : 2023

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⟩
69 Consultations
0 Téléchargements

Altmetric

Partager

  • More