APA (7th ed.) Citation

Sun, M., Bakirtzis, G., Jafarzadeh, H., & Fleming, C. (2019). Correct-by-construction requirement decomposition.

Chicago Style (17th ed.) Citation

Sun, Minghui, Georgios Bakirtzis, Hassan Jafarzadeh, and Cody Fleming. Correct-by-construction Requirement Decomposition. 2019.

MLA (9th ed.) Citation

Sun, Minghui, et al. Correct-by-construction Requirement Decomposition. 2019.