researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Conference series
ssv 2012: SSV 2012
in ,
Conference
Call for Papers
Program
About the Conference
Conference Dates
Proceedings
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.