Cite
Checking the consistency of Object-Z formal specification based on theorem proof.
MLA
Wan, Weiqing, et al. “Checking the Consistency of Object-Z Formal Specification Based on Theorem Proof.” Journal of Computational Methods in Sciences & Engineering, vol. 20, no. 1, Jan. 2020, pp. 217–26. EBSCOhost, https://doi.org/10.3233/JCM-193773.
APA
Wan, W., Yu, Y., Zeng, Q., & Wen, Z. (2020). Checking the consistency of Object-Z formal specification based on theorem proof. Journal of Computational Methods in Sciences & Engineering, 20(1), 217–226. https://doi.org/10.3233/JCM-193773
Chicago
Wan, Weiqing, Yongqing Yu, Qingyan Zeng, and Zhicheng Wen. 2020. “Checking the Consistency of Object-Z Formal Specification Based on Theorem Proof.” Journal of Computational Methods in Sciences & Engineering 20 (1): 217–26. doi:10.3233/JCM-193773.