APA (7th ed.) Citation

Sun, M., Bakirtzis, G., Jafarzadeh, H., & Fleming, C. (2026). Correct-by-construction requirement decomposition. Software & Systems Modeling, 25(1), 271. https://doi.org/10.1007/s10270-025-01291-4

Chicago Style (17th ed.) Citation

Sun, Minghui, Georgios Bakirtzis, Hassan Jafarzadeh, and Cody Fleming. "Correct-by-construction Requirement Decomposition." Software & Systems Modeling 25, no. 1 (2026): 271. https://doi.org/10.1007/s10270-025-01291-4.

MLA (9th ed.) Citation

Sun, Minghui, et al. "Correct-by-construction Requirement Decomposition." Software & Systems Modeling, vol. 25, no. 1, 2026, p. 271, https://doi.org/10.1007/s10270-025-01291-4.