Nuno Silva, Rui Lopes. Overview of 10 Years of ISVV Findings in Safety-Critical Systems. In 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012. pages 83, IEEE, 2012. [doi]
Abstract is missing.