A Symbiotic Relationship Between Formal Methods and Security
Publication Type:
Conference ProceedingsSource:
Computer Security, Dependability and Assurance: From Needs to Solutions, Proceedings, IEEE (1998)- 7596 reads
- Google Scholar
- DOI
- RTF
- EndNote XML
Last updated: Monday, 03 April 2017
Partner sites
