Chapitre D'ouvrage
Année : 2019
Sylvain Conchon : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03476701
Soumis le : lundi 13 décembre 2021-10:22:13
Dernière modification le : jeudi 19 octobre 2023-12:21:56
Citer
Sylvain Conchon, Mattias Roux. Reasoning About Universal Cubes in MCMT. Formal Methods and Software Engineering, 11852, Springer International Publishing, pp.270-285, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-32409-4_17⟩. ⟨hal-03476701⟩
Collections
3
Consultations
0
Téléchargements