Links

GI-Fachgruppe TAV: Test, Analyse und Verifikation von Software

Gesellschaft für Informatik e.V.