Jaffar, J., Navas, J., Santosa, A., & SCIENCE, C. (2013). Unbounded symbolic execution for program verification.
استشهاد بنمط شيكاغوJaffar, J., J.A Navas, A.E Santosa, و COMPUTER SCIENCE. Unbounded Symbolic Execution for Program Verification. 2013.
MLA استشهادJaffar, J., J.A Navas, A.E Santosa, و COMPUTER SCIENCE. Unbounded Symbolic Execution for Program Verification. 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.