Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra. Combining testing and proof to gain high assurance in software: A case study. In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013. pages 248-257, IEEE, 2013. [doi]
Abstract is missing.