Winter, Mario2023-03-202023-03-202011https://dl.gi.de/handle/20.500.12116/41024deBericht: 31. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 31) 03. und 04. Februar 2011, WINCOR NIXDORF, PaderbornText/Journal Article0720-8928