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
@proceedings{ssv-2011, title = {6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands}, year = {2012}, researchr = {https://researchr.org/publication/ssv-2011}, cites = {0}, citedby = {0}, booktitle = {6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands}, conference = {ssv}, editor = {Jörg Brauer and Marco Roveri and Hendrik Tews}, volume = {24}, series = {OASICS}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-939897-36-1}, }