Tests and Proofs - CEA - Commissariat à l’énergie atomique et aux énergies alternatives
Proceedings/Recueil Des Communications Année : 2015
Fichier non déposé

Dates et versions

cea-01834980 , version 1 (11-07-2018)

Identifiants

Citer

Jasmin Christian Blanchette, Nikolai Kosmatov. Tests and Proofs. 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⟩
48 Consultations
0 Téléchargements

Altmetric

Partager

More