APA Citation

Sun, D., & Kuan, T. H. B. (2014). Augmenting static program analysis and design verification with pattern recognition.

Chicago Style Citation

Sun, Ding, and Tan Hee Beng Kuan. Augmenting Static Program Analysis and Design Verification With Pattern Recognition. 2014.

MLA Citation

Sun, Ding, and Tan Hee Beng Kuan. Augmenting Static Program Analysis and Design Verification With Pattern Recognition. 2014.

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