Yu, G. (2026). The Artifact of TEE Formal Specification and Analysis. Zenodo.
Chicago Style (17th ed.) CitationYu, Geunyeol. The Artifact of TEE Formal Specification and Analysis. Zenodo, 2026.
MLA (9th ed.) CitationYu, Geunyeol. The Artifact of TEE Formal Specification and Analysis. Zenodo, 2026.
Warning: These citations may not always be 100% accurate.