Dependability-by-Contract

Brian Dobbing, Samantha Lautieri. Dependability-by-Contract. In Felix Redmill, Tom Anderson, editors, The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007. pages 35-51, Springer, 2007. [doi]

Abstract

Abstract is missing.