DMCA

Applying Formal Methods to a Certifiably Secure Software System (2008)

by Constance L. Heitmeyer , Myla M. Archer , Elizabeth I. Leonard , John D. McLean
Venue:IEEE TRANS. ON SOFTWARE ENG
Citations:10 - 2 self