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 : Tuesday, February 19, 2019 - 3:40:04 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

55