APA (7th ed.) Citation

Abbasi, R., Schiffl, J., Darulova, E., Ulbrich, M., & Ahrendt, W. (2023). Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. International Journal on Software Tools for Technology Transfer Benchmark Repository for Floating-Point Support in KeY, 25(2), 185. https://doi.org/10.1007/s10009-022-00691-x

Chicago Style (17th ed.) Citation

Abbasi, Rosa, Jonas Schiffl, Eva Darulova, M. Ulbrich, and Wolfgang Ahrendt. "Combining Rule- and SMT-based Reasoning for Verifying Floating-point Java Programs in KeY." International Journal on Software Tools for Technology Transfer Benchmark Repository for Floating-Point Support in KeY 25, no. 2 (2023): 185. https://doi.org/10.1007/s10009-022-00691-x.

MLA (9th ed.) Citation

Abbasi, Rosa, et al. "Combining Rule- and SMT-based Reasoning for Verifying Floating-point Java Programs in KeY." International Journal on Software Tools for Technology Transfer Benchmark Repository for Floating-Point Support in KeY, vol. 25, no. 2, 2023, p. 185, https://doi.org/10.1007/s10009-022-00691-x.