Verification and Evaluation of Computer and Communication Systems

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