Analysis and Research of Computer Software Security Vulnerability Technology Based on COQ
In: International Conference on Networking, Informatics and Computing (ICNETIC); (2023-05-01) S. 360-364
Konferenz
Zugriff:
Titel: |
Analysis and Research of Computer Software Security Vulnerability Technology Based on COQ
|
---|---|
Autor/in / Beteiligte Person: | Zhang, Yuxin |
Quelle: | International Conference on Networking, Informatics and Computing (ICNETIC); (2023-05-01) S. 360-364 |
Veröffentlichung: | 2023 |
Medientyp: | Konferenz |
ISBN: | 979-8-3503-1331-4 (print) |
DOI: | 10.1109/ICNETIC59568.2023.00081 |
Sonstiges: |
|