Formal korrekten C-Code durch Benutzung von SPARK programmieren

back 1/9 next

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