THELIB
Katalog
Suche
Kategorieregeln
Regeln
Anmelden
Deutsch
Deutsch
Vorschauausschnitt.
Vollzugang erhalten
← Zurück
Leitfaden zur Softwareverifikation mit Frama-C: Kernkomponenten, Anwendungen und Nutzung