APA (7th ed.) Citation

Dross, C., Furia, C. A., Huisman, M., Monahan, R., & Müller, P. (2021). VerifyThis 2019: A program verification competition. International Journal on Software Tools for Technology Transfer, 23(6), 883. https://doi.org/10.1007/s10009-021-00619-x

Chicago Style (17th ed.) Citation

Dross, Claire, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, and Peter Müller. "VerifyThis 2019: A Program Verification Competition." International Journal on Software Tools for Technology Transfer 23, no. 6 (2021): 883. https://doi.org/10.1007/s10009-021-00619-x.

MLA (9th ed.) Citation

Dross, Claire, et al. "VerifyThis 2019: A Program Verification Competition." International Journal on Software Tools for Technology Transfer, vol. 23, no. 6, 2021, p. 883, https://doi.org/10.1007/s10009-021-00619-x.