Systems Software Verification
SSV 2011: Nijmegen, The Netherlands
Jörg Brauer, Marco Roveri, Hendrik Tews (Eds.): 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012 OASICS 24 ISBN 978-3-939897-36-1 [ contents ]
SSV 2009: Aachen, Germany
SSV 2008: Sydney, Australia
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team