Embedding Formally Proved Code in a Smart Card: Converting B to C.

Antoine Requet, Galle Bossu

Browse the full ICFEM paper archive.