A Symbiotic Relationship Between Formal Methods and Security
Тип публикация:
Conference ProceedingsИзточник:
Computer Security, Dependability and Assurance: From Needs to Solutions, Proceedings, IEEE (1998)- видяно 7897 пъти
- Google Scholar
- DOI
- RTF
- EndNote XML
