Cyber & formal methods publications November 1, 2008 Conference PaperInformation Assurance Aspects of Rapid Software Reprogramming SRI International November 1, 2008 ↓ View online Share this