A Symbiotic Relationship Between Formal Methods and Security Вид публикации: Conference Proceedings Авторы: Jeannette M. Wing Источник: Computer Security, Dependability and Assurance: From Needs to Solutions, Proceedings, IEEE (1998)
