DMCA

Towards Optimizing Certified Compilation in Flight Control Software ∗

by Ricardo Bedin França , Denis Favre-felix , Xavier Leroy , Jean Souyris