UniGR Summer School on Verification Technology, Systems, and Applications

Colloque
Lundi 27 Août 2018 - Vendredi 31 Août 2018

Date : 27 au 31 août 2018

Lieu : Inria Center, Nancy, France

Langue de la manifestation : anglais

Informations complémentaires : ici