APA (7th ed.) Citation

Henkel, E., Hauff, N., Langenfeld, V., Funk, L., & Podelski, A. (2025). Is it vacuous to check redundancy, or is it redundant to check vacuity? Requirements Engineering, 30(2), 173. https://doi.org/10.1007/s00766-025-00438-5

Chicago Style (17th ed.) Citation

Henkel, Elisabeth, Nico Hauff, Vincent Langenfeld, Lena Funk, and Andreas Podelski. "Is It Vacuous to Check Redundancy, or Is It Redundant to Check Vacuity?" Requirements Engineering 30, no. 2 (2025): 173. https://doi.org/10.1007/s00766-025-00438-5.

MLA (9th ed.) Citation

Henkel, Elisabeth, et al. "Is It Vacuous to Check Redundancy, or Is It Redundant to Check Vacuity?" Requirements Engineering, vol. 30, no. 2, 2025, p. 173, https://doi.org/10.1007/s00766-025-00438-5.