Verification of Embedded Software: From Mars to Actions.

Charles Pecheur

Browse the full FMICS paper archive.