Proceedings/Recueil Des Communications
Année : 2024
Dominique Méry : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04838753
Soumis le : dimanche 15 décembre 2024-08:49:59
Dernière modification le : mardi 17 décembre 2024-15:27:41
Dates et versions
Licence
Identifiants
- HAL Id : hal-04838753 , version 1
- DOI : 10.1007/978-981-96-0617-7
Citer
Kazuhiro Ogata, Dominique Méry, Meng Sun, Shaoying Liu. Formal Methods and Software Engineering. Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings, LNCS-15394, Springer Nature Singapore, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-981-96-0617-7⟩. ⟨hal-04838753⟩
0
Consultations
0
Téléchargements