Automated Derivation of ILP Implementations from SDL Specifications.

Sven Twarok, Peter Langendrfer, Hartmut Knig

Browse the full FORTE paper archive.