6th International Workshop on
Systems Software Verification
(SSV 2011)

Nijmegen, The Netherlands
August 26, 2011
Venue: Hotel Erica in Berg en Dal

Held in conjunction with:
the 2nd International conference on Interactive Theorem Proving (ITP 2011).

Sponsored by:
NICTA
Supported by:
FBK RWTH-AACHEN Technische Universitat Dresden RWTH-AACHEN
Published by:
[to be announced]
Valid XHTML 1.0 Transitional Valid CSS! [Valid RSS]
Inspired by the FMICS 2010 web pages by Marco Roveri