Formal korrekten C-Code durch Benutzung von SPARK programmieren

Zurück zum Artikel