Applying Formal Methods to a Certifiably Secure Software System

Publication Type:

Journal Article

Source:

IEEE Transactions on Software Engineering, Volume 34, Issue 1, p.82–97 (8)
Share/Save
Last updated: Monday, 03 April 2017