APA Citation

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 Citation

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

Warning: These citations may not always be 100% accurate.