VeriCode: Correct Translation of Abstract Specifications to C Code.

Gerhard Schellhorn, Stefan Bodenmller, Wolfgang Reif

Browse the full IFM paper archive.