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

by doi 10 1109ICSE 2009 5070560 C Heitmeyer, M Archer, E Leonard, J McLean
Venue:IEEE Transactions on Software Engineering