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 : mercredi 24 juillet 2024-10:30:03
Citer
Jasmin Christian Blanchette, Nikolai Kosmatov. Tests and Proofs: 9th International Conference, TAP 2015 Held as Part of STAF 2015 L’Aquila, Italy, July 22–24, 2015 Proceedings. 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
41
Consultations
0
Téléchargements