Cheng, Z., & Tisi, M. (2022). Deep specification and proof preservation for the CoqTL transformation language. Software and systems modeling, 21(5), 1831-1852. https://doi.org/10.1007/s10270-022-01004-1
Chicago-Zitierstil (17. Ausg.)Cheng, Zheng, und Massimo Tisi. "Deep Specification and Proof Preservation for the CoqTL Transformation Language." Software and Systems Modeling 21, no. 5 (2022): 1831-1852. https://doi.org/10.1007/s10270-022-01004-1.
MLA-Zitierstil (9. Ausg.)Cheng, Zheng, und Massimo Tisi. "Deep Specification and Proof Preservation for the CoqTL Transformation Language." Software and Systems Modeling, vol. 21, no. 5, 2022, pp. 1831-1852, https://doi.org/10.1007/s10270-022-01004-1.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.