金继伟, 马菲菲, & 张健. (2015). SMT求解技术简述. 计算机科学与探索, 7, 769-780. https://doi.org/10.3778/j.issn.1673-9418.1405041
Chicago Style (17th ed.) Citation金继伟, 马菲菲, and 张健. "SMT求解技术简述." 计算机科学与探索 7 (2015): 769-780. https://doi.org/10.3778/j.issn.1673-9418.1405041.
MLA (9th ed.) Citation金继伟, et al. "SMT求解技术简述." 计算机科学与探索, 7, 2015, pp. 769-780, https://doi.org/10.3778/j.issn.1673-9418.1405041.
Warning: These citations may not always be 100% accurate.