APA (7th ed.) Citation

Colvin, R. J., Hayes, I. J., Heiner, S., Höfner, P., Meinicke, L., & Su, R. C. (2024). Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures.

Chicago Style (17th ed.) Citation

Colvin, Robert J., Ian J. Hayes, Scott Heiner, Peter Höfner, Larissa Meinicke, and Roger C. Su. Practical Rely/Guarantee Verification of an Efficient Lock for SeL4 on Multicore Architectures. 2024.

MLA (9th ed.) Citation

Colvin, Robert J., et al. Practical Rely/Guarantee Verification of an Efficient Lock for SeL4 on Multicore Architectures. 2024.