HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 metadata

https://hal-cea.archives-ouvertes.fr/cea-01834980
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Wednesday, July 11, 2018 - 10:02:24 AM
Last modification on : Friday, February 18, 2022 - 3:09:09 AM

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

34