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, № 1, p.82–97 (8)
Share/Save