Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai. Integrated Formal Approach for Qualified Critical Embedded Code Generator. In María Alpuente, Byron Cook, Christophe Joubert, editors, Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Volume 5825 of Lecture Notes in Computer Science, pages 199-201, Springer, 2009. [doi]
Abstract is missing.