APA (7th ed.) Citation

Beyer, D., Dangl, M., & Wendler, P. (2018). A Unifying View on SMT-Based Software Verification. Journal of Automated Reasoning, 60(3), 299. https://doi.org/10.1007/s10817-017-9432-6

Chicago Style (17th ed.) Citation

Beyer, Dirk, Matthias Dangl, and Philipp Wendler. "A Unifying View on SMT-Based Software Verification." Journal of Automated Reasoning 60, no. 3 (2018): 299. https://doi.org/10.1007/s10817-017-9432-6.

MLA (9th ed.) Citation

Beyer, Dirk, et al. "A Unifying View on SMT-Based Software Verification." Journal of Automated Reasoning, vol. 60, no. 3, 2018, p. 299, https://doi.org/10.1007/s10817-017-9432-6.