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 : vendredi 17 mai 2024-16:22:05
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
4
Consultations
0
Téléchargements