APA (7th ed.) Citation

Böving, H., Bhat, S., Keizer, A., Cicolini, L., Frénot, L., Mohamed, A., . . . Grosser, T. (2025). bv_decide SMT-COMP 2025 Submission. Zenodo.

Chicago Style (17th ed.) Citation

Böving, Henrik, et al. Bv_decide SMT-COMP 2025 Submission. Zenodo, 2025.

MLA (9th ed.) Citation

Böving, Henrik, et al. Bv_decide SMT-COMP 2025 Submission. Zenodo, 2025.

Warning: These citations may not always be 100% accurate.