Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Tools for Traceable Security Verification.

BCS Int. Acad. Conf. 2008 S. 367 - 390

Erscheinungsjahr: 2008

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Jürjens, Jan (Autor)
Yu, Yijun (Autor)
Bauer, Andreas (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik