Julien Narboux
Enseignant-Chercheur, Université de Strasbourg, Laboratoire ICube
1
Documents
Identifiants chercheurs
julien-narboux- IdRef : 111206480
-
0000-0003-3527-7184
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Formalization of Wu's simple method in CoqCPP 2011 First International Conference on Certified Programs and Proofs, Dec 2011, Kenting, Taiwan. pp.71-86, ⟨10.1007/978-3-642-25379-9_8⟩
Communication dans un congrès
inria-00618745v2
|