Jörg Brauer, Marco Roveri, Hendrik Tews, editors, 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands. Volume 24 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012.
Conference: ssv2012