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.
9th Alpine Verification Meeting, 12-14 May 2014, Frejus, Cote d’Azur, France
View online : AVM 2014