John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones. Certifiably safe software-dependent systems: challenges and directions. In James D. Herbsleb, Matthew B. Dwyer, editors, Proceedings of the on Future of Software Engineering, FOSE 2014, Hyderabad, India, May 31 - June 7, 2014. pages 182-200, ACM, 2014. [doi]
Abstract is missing.