Etudiant BERGVELT David


Team : Whisper
Invited by : Julia LAWALL
Arrival date : 04/14/2018
Departure date : 08/26/2018

Research activity

Automation of proofs for the Ipanema DSL using Why3 and Verifiable C

Departure date : 08/26/2018
Mentions légales
Site map