Skip to Main content Skip to Navigation
Directions of work or proceedings

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

Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01834980
Contributor : Léna Le Roy <>
Submitted on : Wednesday, July 11, 2018 - 10:02:24 AM
Last modification on : Monday, February 10, 2020 - 6:14:14 PM

Identifiers

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⟩

Share

Metrics

Record views

79