APA (7th ed.) Citation

Chong, N., Cook, B., Eidelman, J., Kallas, K., Khazem, K., Monteiro, F. R., . . . Tuttle, M. R. (2021). Code‐level model checking in the software development workflow at Amazon Web Services. Software: Practice & Experience, 51(4), 772. https://doi.org/10.1002/spe.2949

Chicago Style (17th ed.) Citation

Chong, Nathan, et al. "Code‐level Model Checking in the Software Development Workflow at Amazon Web Services." Software: Practice & Experience 51, no. 4 (2021): 772. https://doi.org/10.1002/spe.2949.

MLA (9th ed.) Citation

Chong, Nathan, et al. "Code‐level Model Checking in the Software Development Workflow at Amazon Web Services." Software: Practice & Experience, vol. 51, no. 4, 2021, p. 772, https://doi.org/10.1002/spe.2949.