No. Title Author Year
1 Formally Verifying a Compiler: What Does It Mean, Exactly? (Invited Talk) Leroy, Xavier 2016
2 Towards Formally Verified Optimizing Compilation in Flight Control Software Franša, Ricardo Bedin et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 2


DROPS-Home | Fulltext Search | Imprint Published by LZI