APA (7th ed.) Citation

BEYER, D., DANGL, M., DIETSCH, D., HEIZMANN, M., LEMBERGER, T., & TAUTSCHNIG, M. (2022). Verification Witnesses. ACM Transactions on Software Engineering & Methodology, 31(4), 1. https://doi.org/10.1145/3477579

Chicago Style (17th ed.) Citation

BEYER, DIRK, MATTHIAS DANGL, DANIEL DIETSCH, MATTHIAS HEIZMANN, THOMAS LEMBERGER, and MICHAEL TAUTSCHNIG. "Verification Witnesses." ACM Transactions on Software Engineering & Methodology 31, no. 4 (2022): 1. https://doi.org/10.1145/3477579.

MLA (9th ed.) Citation

BEYER, DIRK, et al. "Verification Witnesses." ACM Transactions on Software Engineering & Methodology, vol. 31, no. 4, 2022, p. 1, https://doi.org/10.1145/3477579.