Formal Verification of Memory Preservation of x86-64 Binaries
Journal
-
- Lecture Notes in Computer Science
-
Lecture Notes in Computer Science 35-49, 2019
Springer International Publishing
- Tweet
Details 詳細情報について
-
- CRID
- 1360294647738593024
-
- ISSN
- 16113349
- 03029743
-
- Data Source
-
- Crossref