Browsing by Author "Universitat Stuttgart. Fakultat Informatik"
Now showing items 1-1 of 1
-
Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
(Universitat Stuttgart, 1993) [Technical and Research Report]Resumo não disponível
