ER04: Advanced Software Verification and Computer Proof (28/11/2016 → 2/12/2016)

Date : 28/11/2016 → 2/12/2016
Lieu : Sophia
Organisateur : Yves Bertot

Plus d’informations ici

Comments are closed.