Safety contract based design of software components

Andreas Söderberg, R. Johansson. Safety contract based design of software components. In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings. pages 365-370, IEEE, 2013. [doi]

Abstract

Abstract is missing.