- Scholarly Journal
A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
PDF
CiteCite
Copy URL
https://www.proquest.com/scholarly-journals/practical-approach-formal-methods-eclipse/docview/3144079430/se-2?accountid=208611
PrintAll Options