Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.

Werner Damm

Browse the full FMICS paper archive.