UMLsec
From MaRDI portal
Software:24678
No author found.
Related Items (2)
Formally sound implementations of security protocols with JavaSPI ⋮ Model-Based Testing for Functional and Security Test Generation
This page was built for software: UMLsec
