Survey of Approaches and Techniques for Security Verification of Computer Systems
TR Number
Date
2022
Journal Title
Journal ISSN
Volume Title
Publisher
ACM
We collect and process your personal information for the following purposes: Authentication, Preferences, Acknowledgement and Statistics.
To learn more, please read our privacy policy.