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