placeholder image

Lazarini, Rémi

Person

Positions

, Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies

selected publications

conference paper
- Combinatoire Formelle avec Why3 et Coq. HAL (Le Centre pour la Communication Scientifique Directe). 2019

full name

Rémi Lazarini

Publications in VIVO

Co-author Network