Cite
MLA Citation
Nathan Chong et al.. “Code‐level model checking in the software development workflow at Amazon Web Services.” Software, practice & experience, vol. 51, 2021, pp. 772–797. http://access.bl.uk/ark:/81055/vdc_100123372033.0x00004d