APA (7th ed.) Citation

Ijaz, R., Boos, K., & Zhong, L. (2024). Combining Type Checking and Formal Verification for Lightweight OS Correctness.

Chicago Style (17th ed.) Citation

Ijaz, Ramla, Kevin Boos, and Lin Zhong. Combining Type Checking and Formal Verification for Lightweight OS Correctness. 2024.

MLA (9th ed.) Citation

Ijaz, Ramla, et al. Combining Type Checking and Formal Verification for Lightweight OS Correctness. 2024.