Verification and Evaluation of Computer and Communication Systems

11. VECoS 2017: Montreal, QC, Canada

10. VECoS 2016: Tunis, Tunisia

9. VECoS 2015: Bucharest, Romania

8. VECoS 2014: Bejaïa, Algeria

maintained by Schloss Dagstuhl LZI at University of Trier