Proceedings
Year : 2015
Léna Le Roy : Connect in order to contact the contributor
https://cea.hal.science/cea-01834980
Submitted on : Wednesday, July 11, 2018-10:02:24 AM
Last modification on : Tuesday, September 3, 2024-11:16:05 AM
Cite
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
42
View
0
Download