Proceedings/Recueil Des Communications
Année : 2015
Léna Le Roy : Connectez-vous pour contacter le contributeur
https://cea.hal.science/cea-01834980
Soumis le : mercredi 11 juillet 2018-10:02:24
Dernière modification le : lundi 2 décembre 2024-17:46:02
Citer
Jasmin Christian Blanchette, Nikolai Kosmatov. Tests and Proofs. Jasmin Christian Blanchette; Nikolai Kosmatov. Tests and Proofs, Jul 2015, L’Aquila, Italy. 9154, Springer Verlag, 2015, 9783319212142. ⟨10.1007/978-3-319-21215-9⟩. ⟨cea-01834980⟩
Collections
48
Consultations
0
Téléchargements