APA (7th ed.) Citation

Li, Z., & Feng, X. (2021). Verifying Contextual Refinement with Ownership Transfer. Journal of computer science and technology, 36(6), 1342-1366. https://doi.org/10.1007/s11390-021-1671-7

Chicago Style (17th ed.) Citation

Li, Zhao-Hui, and Xin-Yu Feng. "Verifying Contextual Refinement with Ownership Transfer." Journal of Computer Science and Technology 36, no. 6 (2021): 1342-1366. https://doi.org/10.1007/s11390-021-1671-7.

MLA (9th ed.) Citation

Li, Zhao-Hui, and Xin-Yu Feng. "Verifying Contextual Refinement with Ownership Transfer." Journal of Computer Science and Technology, vol. 36, no. 6, 2021, pp. 1342-1366, https://doi.org/10.1007/s11390-021-1671-7.