Proceedings/Recueil Des Communications
Année : 2023
Étienne André : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04654311
Soumis le : vendredi 19 juillet 2024-15:02:42
Dernière modification le : samedi 20 juillet 2024-03:21:33
Dates et versions
Licence
Copyright (Tous droits réservés)
Identifiants
- HAL Id : hal-04654311 , version 1
- DOI : 10.1007/978-3-031-45329-8
Citer
Étienne André, Jun Sun. Automated Technology for Verification and Analysis, part I. 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023), 14215, Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-45329-8⟩. ⟨hal-04654311⟩
Collections
0
Consultations
0
Téléchargements