AVM 2014

9th Alpine Verification Meeting, 12-14 May 2014, Frejus, Cote d’Azur, France

The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is bringing together young researchers from the Alpine region. The meeting is open to everyone.

http://nts.imag.fr/index.php/AVM_2014

Voir en ligne : AVM 2014

Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4190396