Zhang, L., Li, X., Shi, Z., Guan, Y., Cao, Q., & Zhang, Q. (2024). Formal Verification of Functional Correctness for Mutexes in Microkernel. International Journal of Software & Informatics, 14(4), 399. https://doi.org/10.21655/ijsi.1673-7288.00339
Παραπομπή σε μορφή Chicago (17η εκδ.)Zhang, Linyan, Ximeng Li, Zhiping Shi, Yong Guan, Qinxiang Cao, και Qianying Zhang. "Formal Verification of Functional Correctness for Mutexes in Microkernel." International Journal of Software & Informatics 14, no. 4 (2024): 399. https://doi.org/10.21655/ijsi.1673-7288.00339.
Παραπομπή σε μορφή MLA (9th εκδ.)Zhang, Linyan, et al. "Formal Verification of Functional Correctness for Mutexes in Microkernel." International Journal of Software & Informatics, vol. 14, no. 4, 2024, p. 399, https://doi.org/10.21655/ijsi.1673-7288.00339.