Werner Damm. Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. In Darren D. Cofer, Alessandro Fantechi, editors, Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Volume 5596 of Lecture Notes in Computer Science, pages 3, Springer, 2008. [doi]
Abstract is missing.