SSV 2009

Der 4. internationale Systems Software Verification Workshop (SSV 09) wird dieses Jahr von unserem Lehrstuhl veranstaltet und findet vom 22. bis 24. Juni 2009 an der RWTH Aachen im Super C statt. Vorsitzende des Programmkomitees sind Dr. Ralf Huuck (National ICT Australia), Dr. Gerwin Klein (National ICT Australia) und Dr. Bastian Schlich (Lehrstuhl Informatik 11).


Weitere Informationen finden Sie auf der Homepage des Workshops.

Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland