APA引文

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引文

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

警告：這些引文格式不一定是100％准確.