Adaptable Translator of B Specifications to Embedded C Programs.

Didier Bert, Sylvain Boulm, Marie-Laure Potet, Antoine Requet, Laurent Voisin

Browse the full FM paper archive.