Tests and Proofs: 9th International Conference, TAP 2015 Held as Part of STAF 2015 L’Aquila, Italy, July 22–24, 2015 Proceedings

Type de document :
Direction d'ouvrage, Proceedings, Dossier
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〉
Liste complète des métadonnées

https://hal-cea.archives-ouvertes.fr/cea-01834980
Contributeur : Léna Le Roy <>
Soumis le : mercredi 11 juillet 2018 - 10:02:24
Dernière modification le : lundi 24 septembre 2018 - 11:34:03

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

30