New 0.7.0 Release of Ironclad – A formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert

Name *

E-Mail *

Website

Kommentar *