APA (7th ed.) Citation

Chang, Z., & Li, Z. (2026). BODHI: Precise OS Kernel Specification Inference.

Chicago Style (17th ed.) Citation

Chang, Zhiming, and Ziyang Li. BODHI: Precise OS Kernel Specification Inference. 2026.

MLA (9th ed.) Citation

Chang, Zhiming, and Ziyang Li. BODHI: Precise OS Kernel Specification Inference. 2026.

Warning: These citations may not always be 100% accurate.