Applying Formal Methods to a Certifiably Secure Software System

Тип публикация:

Journal Article

Автори:

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

Източник:

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