APA (7th ed.) Citation

Mordan, V. O., & Mutilin, V. S. (2026). Software Verification Witnesses Thoroughness. Programming & Computer Software, 52(1), 39. https://doi.org/10.1134/S0361768826700052

Chicago Style (17th ed.) Citation

Mordan, V. O., and V. S. Mutilin. "Software Verification Witnesses Thoroughness." Programming & Computer Software 52, no. 1 (2026): 39. https://doi.org/10.1134/S0361768826700052.

MLA (9th ed.) Citation

Mordan, V. O., and V. S. Mutilin. "Software Verification Witnesses Thoroughness." Programming & Computer Software, vol. 52, no. 1, 2026, p. 39, https://doi.org/10.1134/S0361768826700052.