Cite
Automatically refining partial specifications for heap-manipulating programs.
MLA
Qin, Shengchao, et al. “Automatically Refining Partial Specifications for Heap-Manipulating Programs.” Science of Computer Programming, vol. 82, Mar. 2014, pp. 56–76. EBSCOhost, https://doi.org/10.1016/j.scico.2013.03.004.
APA
Qin, S., He, G., Luo, C., Chin, W.-N., & Yang, H. (2014). Automatically refining partial specifications for heap-manipulating programs. Science of Computer Programming, 82, 56–76. https://doi.org/10.1016/j.scico.2013.03.004
Chicago
Qin, Shengchao, Guanhua He, Chenguang Luo, Wei-Ngan Chin, and Hongli Yang. 2014. “Automatically Refining Partial Specifications for Heap-Manipulating Programs.” Science of Computer Programming 82 (March): 56–76. doi:10.1016/j.scico.2013.03.004.