Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Qualitätssicherung durch Programmverifikation und algebraische Methoden der Software-entwicklung

 
: Beierle, C.; Olthoff, W.; Voß, A.

Informatik-Spektrum 11 (1988), S.292-302
ISSN: 0170-6012
ISSN: 1432-122X
Deutsch
Zeitschriftenaufsatz
Fraunhofer AIS ( IAIS) ()

: http://publica.fraunhofer.de/dokumente/N-42851.html