seL4 International
Der Zweck des Vereins ist die Konzeption, Entwicklung und Implementierung von vertrauenswürdiger open-source Software sowie damit verbundenen formalen, mathematischen Beweisen, mit dem primären Schwerpunkt auf der Konzeption, Entwicklung und Implementierung des seL4 Microkernels sowie damit verbundener Beweise, Frameworks, Werkzeuge, Sprachen, Komponenten und Systeme, in Übereinstimmung mit den Bestimmungen dieser Statuten.
Der Verein ist gemeinnützig.
Der Verein ist politisch neutral.
Küsnacht ZH
Adresse
Seestrasse 39
8700 Küsnacht ZH
Schweiz
Finde weitere Unternehmen in der Strasse «Seestrasse» oder in «Küsnacht ZH».
Links
- Digitale Visitenkarte zum Abspeichern des Eintrags als App und zum einfachen Teilen.
- vCard zur Übernahme des Eintrags ins Adressbuch.