APA引文

MURALI, V., & SCIENCE, C. (2014). Symbolic Execution for Advanced Program Reasoning.

Chicago Style Citation

MURALI, VIJAYARAGHAVAN, and COMPUTER SCIENCE. Symbolic Execution for Advanced Program Reasoning. 2014.

MLA引文

MURALI, VIJAYARAGHAVAN, and COMPUTER SCIENCE. Symbolic Execution for Advanced Program Reasoning. 2014.

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