Formal korrekten C-Code durch Benutzung von SPARK programmieren

zum Artikel
back 1/9 next
Bild vergrößern

Bilder: Formal korrekten C-Code durch Benutzung von SPARK programmieren