APA (7th ed.) Citation

Wang, Z., Zhu, X., Wang, H., Yu, Y., & Lan, Y. (2025). KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. PLoS ONE, 20(12), 1. https://doi.org/10.1371/journal.pone.0338821

Chicago Style (17th ed.) Citation

Wang, Zi, Xiaoyu Zhu, Hongqiang Wang, Yichun Yu, and Yuqing Lan. "KerSpecGen: Co-piloting Formal Kernel Specification Synthesis with Refined Knowledge Graphs and Large Language Models." PLoS ONE 20, no. 12 (2025): 1. https://doi.org/10.1371/journal.pone.0338821.

MLA (9th ed.) Citation

Wang, Zi, et al. "KerSpecGen: Co-piloting Formal Kernel Specification Synthesis with Refined Knowledge Graphs and Large Language Models." PLoS ONE, vol. 20, no. 12, 2025, p. 1, https://doi.org/10.1371/journal.pone.0338821.