Lothar Gmeiner, Udo Voges. Erfahrungen mit dem Einsatz automatischer Werkzeuge für die Qualitätsicherung während Entwurf und Test. In Harry M. Sneed, Hans-Rüdiger Wiehle, editors, Software-Qualitätssicherung, Tagung I/1982 des German Chapter of the ACM am 25. und 26.3.1982 in Neubiberg bei München. Volume 9 of Berichte des German Chapter of the ACM, pages 235-252, Teubner, 1982.
Abstract is missing.