Conference on Systems Software Verification (SSV)

International Workshop on Systems Software Verification

Venue statistics

records by year

document access 

    frequent authors

      7th SSV 2012: Sydney, Australia

      6th SSV 2011: Nijmegen, The Netherlands

      5th SSV 2010: Vancouver, BC, Canada

      4th SSV 2009: Aachen, Germany

      3rd SSV 2008: Sydney, Australia

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics