Applying Formal Methods to a Certifiably Secure Software System

Publication Type:

Journal Article

Authors:

Constance L. Heitmeyer; Myla M. Archer; Elizabeth I. Leonard; John D. McLean

Source:

IEEE Transactions on Software Engineering, Volume 34, Issue 1, p.82–97 (8)
Share/Save