Verification and Evaluation of Computer and Communication Systems

12th VECoS 2018: Grenoble, France

11th VECoS 2017: Montreal, QC, Canada

10th VECoS 2016: Tunis, Tunisia

9th VECoS 2015: Bucharest, Romania

8th VECoS 2014: Bejaïa, Algeria

maintained by Schloss Dagstuhl LZI at University of Trier