APA (7th ed.) Citation

Jiang, D., Mao, Y., & Fu, C. (2026). Type Inference for Isabelle2Cpp. Applied Sciences (2076-3417), 16(8), 3828. https://doi.org/10.3390/app16083828

Chicago Style (17th ed.) Citation

Jiang, Dongchen, Yongkang Mao, and Chenxi Fu. "Type Inference for Isabelle2Cpp." Applied Sciences (2076-3417) 16, no. 8 (2026): 3828. https://doi.org/10.3390/app16083828.

MLA (9th ed.) Citation

Jiang, Dongchen, et al. "Type Inference for Isabelle2Cpp." Applied Sciences (2076-3417), vol. 16, no. 8, 2026, p. 3828, https://doi.org/10.3390/app16083828.