Pietschker, Andrej2017-12-062017-12-062012https://dl.gi.de/handle/20.500.12116/8633de32. Treffen der GI-Fachgruppe — Test, Analyse & Verifikation von Software (TAV 32)Text/Journal Article10.1007/BF033234190720-8928