Foundations for Software Assurance

Carol Woody, Nancy R. Mead, Daniel Shoemaker. Foundations for Software Assurance. In 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), Proceedings, 4-7 January 2012, Grand Wailea, Maui, HI, USA. pages 5368-5374, IEEE Computer Society, 2012. [doi]

Abstract

Abstract is missing.