Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
AIB 2009-14: Doctoral Symposium on Systems Software Verification (DS SSV'09)
0 views
Skip to first unread message
Carsten Fuhs
Jun 23, 2009, 7:55:56 PM6/23/09
to
The following technical report is available from
http://aib.informatik.rwth-aachen.de:
http://aib.informatik.rwth-aachen.de:
Doctoral Symposium on Systems Software Verification (DS SSV'09)
Ralf Huuck, Gerwin Klein, Bastian Schlich (eds.)
AIB 2009-14
This report contains the proceedings of the Doctoral Symposium on
Systems Software Verification (DS SSV'09), which was held during the
4th International Workshop on Systems Software Verification (SSV'09)
in Aachen, Germany, June 22-24, 2009.
0 new messages