Towards Formally Verified Optimizing Compilation (0)

by R B França, D Favre-Felix, X Leroy, M Pantel, J Souyris
Venue:in Flight Control Software,” in PPES, ser. OASIcs