23. Treffen der GI-FachgruppeTest, Analyse & Verifikation von Software (TAV)17. und 18. November 2005 in München: Bericht und Beiträge

Winter, Mario (2006): 23. Treffen der GI-FachgruppeTest, Analyse & Verifikation von Software (TAV)17. und 18. November 2005 in München: Bericht und Beiträge. Softwaretechnik-Trends Band 26, Heft 1. Bonn: Geselllschaft für Informatik e.V.. PISSN: 0720-8928. Berichte aus den Fachgruppen und Arbeitskreisen