Sun, D., & Kuan, T. H. B. (2014). Augmenting static program analysis and design verification with pattern recognition.
استشهاد بنمط شيكاغوSun, Ding, و Tan Hee Beng Kuan. Augmenting Static Program Analysis and Design Verification With Pattern Recognition. 2014.
MLA استشهادSun, Ding, و Tan Hee Beng Kuan. Augmenting Static Program Analysis and Design Verification With Pattern Recognition. 2014.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.