24-26 September 2014

University of Twente, Enschede

14th International Workshop on Automated Verification of Critical Systems

Registration

AVoCS & SPES_XT Summer School 2014 registration is now closed.