MLA
He, Xudong,et al. "Formal Methods for Specifying and Analyzing Complex Software Systems." Advances in Machine Learning Applications in Software Engineering, edited by Du Zhang and Jeffery J.P. Tsai, IGI Global, 2007, pp. 319-345. https://doi.org/10.4018/978-1-59140-941-1.ch013
APA
He, X., Yu, H., & Deng, Y. (2007). Formal Methods for Specifying and Analyzing Complex Software Systems. In D. Zhang, & J. Tsai (Ed.), Advances in Machine Learning Applications in Software Engineering (pp. 319-345). IGI Global. https://doi.org/10.4018/978-1-59140-941-1.ch013
Chicago
He, Xudong and Huiqun Yu, and Yi Deng. "Formal Methods for Specifying and Analyzing Complex Software Systems." In Advances in Machine Learning Applications in Software Engineering. edited by Zhang, Du, and Jeffery J.P. Tsai, 319-345. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59140-941-1.ch013
Export Reference
