APA (7th ed.) Citation

Beckert, B., & Hahnle, R. (2014). Reasoning and Verification: State of the Art and Current Trends. IEEE intelligent systems, 29(1), 20-29. https://doi.org/10.1109/MIS.2014.3

Chicago Style (17th ed.) Citation

Beckert, Bernhard, and Reiner Hahnle. "Reasoning and Verification: State of the Art and Current Trends." IEEE Intelligent Systems 29, no. 1 (2014): 20-29. https://doi.org/10.1109/MIS.2014.3.

MLA (9th ed.) Citation

Beckert, Bernhard, and Reiner Hahnle. "Reasoning and Verification: State of the Art and Current Trends." IEEE Intelligent Systems, vol. 29, no. 1, 2014, pp. 20-29, https://doi.org/10.1109/MIS.2014.3.