APA引文

Kozachok, A. V., & Kochetkov, E. V. (2018, October). Verified program code execution system prototype. Труды Института системного программирования РАН.

芝加哥风格引文

Kozachok, A. V., 与 E. V. Kochetkov. "Verified Program Code Execution System Prototype." Труды Института системного программирования РАН Oct. 2018.

MLA引文

Kozachok, A. V., 与 E. V. Kochetkov. "Verified Program Code Execution System Prototype." Труды Института системного программирования РАН, Oct. 2018.

警告：这些引文格式不一定是100％准确.