Ouvrages
Année : 2021
Yliès Falcone : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03533127
Soumis le : mardi 18 janvier 2022-16:31:42
Dernière modification le : jeudi 4 avril 2024-18:26:46
Citer
Ezio Bartocci, Yliès Falcone, Martin Leucker. Formal Methods in Outer Space. Springer International Publishing, 13065, pp.1-193, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-87348-6⟩. ⟨hal-03533127⟩
23
Consultations
0
Téléchargements