Software-Sicherheitsprüfung mit VALSOFT

Jens Krinke, Torsten Robschink, Gregor Snelting. Software-Sicherheitsprüfung mit VALSOFT. Inform., Forsch. Entwickl., 14(2):62-73, 1999. [doi]

Abstract

Abstract is missing.