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)
