Winter, Mario2023-05-232023-05-232006https://dl.gi.de/handle/20.500.12116/41627de23. Treffen der GI-FachgruppeTest, Analyse & Verifikation von Software (TAV)17. und 18. November 2005 in München: Bericht und BeiträgeText/Journal Article0720-8928