06087912

b

06087912 Brauer, J\"org (ed.) Roveri, Marco (ed.) Tews , Hendrik (ed.) 6th international workshop on systems software verification, SSV'11, August 26, 2011, Nijmegen, The Netherlands. Papers based on the presentations at the workshop. OASIcs -- OpenAccess Series in Informatics 24. Wadern: Schloss Dagstuhl -- Leibniz Zentrum f\"ur Informatik (ISBN 978-3-939897-36-1). vii, 83~p. (2012). 2012 Wadern: Schloss Dagstuhl -- Leibniz Zentrum f\"ur Informatik EN

http://drops.dagstuhl.de/opus/portals/oasics/index.php?semnr=12007