Machine-Checked Sequencer for Critical Embedded Code Generator.

Nassima Izerrouken, Marc Pantel, Xavier Thirioux

Browse the full ICFEM paper archive.