APA Citation

Jaffar, J., Navas, J., Santosa, A., & SCIENCE, C. (2013). Unbounded symbolic execution for program verification.

Chicago Style Citation

Jaffar, J., J.A Navas, A.E Santosa, and COMPUTER SCIENCE. Unbounded Symbolic Execution for Program Verification. 2013.

MLA Citation

Jaffar, J., J.A Navas, A.E Santosa, and COMPUTER SCIENCE. Unbounded Symbolic Execution for Program Verification. 2013.

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