Doctoral Symposium on Systems Software Verification (DS SSV0́9): Real Software, Real Problems, Real Solutions ; proceedings ; [held during the 4th International Workshop on Systems Software Verification (SSV0́9) in Aachen, Germany, June 22-24, 2009]

Medientyp: E-Book; Konferenzbericht
Titel: Doctoral Symposium on Systems Software Verification (DS SSV0́9) : Real Software, Real Problems, Real Solutions ; proceedings ; [held during the 4th International Workshop on Systems Software Verification (SSV0́9) in Aachen, Germany, June 22-24, 2009]
Beteiligte: Huuck, Ralf [Sonstige Person, Familie und Körperschaft]; Klein, Gerwin [Sonstige Person, Familie und Körperschaft]; Schlich, Bastian [Sonstige Person, Familie und Körperschaft]
Körperschaft: Technische Hochschule Aachen, Lehrstuhl für Informatik 6
Erschienen: Aachen: Mainz, 2009
Erschienen in: Aachener Informatik-Berichte ; 2009,14
Technical report / Department of Computer Science, RWTH Aachen
Umfang: Online-Ressource (39 S., 439 KB); graph. Darst
Sprache: Englisch
Schlagwörter: Forschungsbericht ; Konferenzschrift
Entstehung:
Anmerkungen: Systemvoraussetzungen: Acrobat reader
Zugangsstatus: Freier Zugang

Nur in Feld suchen: