Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
Qualifying CompCert for Safety-Critical Avionics Software
2026
0 citations
Journal Article
green Open Access
Field-Weighted Citation Impact:
0.00
Qualifying CompCert for Safety-Critical Avionics Software | Researchclopedia
Airbus (India)
Daniel L. Kastner
·
AbsInt (Germany)