Published July 21, 2019
| Version 1.0
Software
Open
amirjalaly/SoftSecurityVerification 1.0
Authors/Creators
Description
Soft Security Verification Tools and case studies
Files
amirjalaly/SoftSecurityVerification-1.0.zip
Files
(53.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:3c6c301632dfff39edc34c94f5908b37
|
53.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/amirjalaly/SoftSecurityVerification/tree/1.0 (URL)