APA (7th ed.) Citation

Schellhorn, G., Bodenmüller, S., & Reif, W. (2025). Verification of forward simulations with thread-local, step-local proof obligations. Science of Computer Programming, 241, N.PAG. https://doi.org/10.1016/j.scico.2024.103227

Chicago Style (17th ed.) Citation

Schellhorn, Gerhard, Stefan Bodenmüller, and Wolfgang Reif. "Verification of Forward Simulations with Thread-local, Step-local Proof Obligations." Science of Computer Programming 241 (2025): N.PAG. https://doi.org/10.1016/j.scico.2024.103227.

MLA (9th ed.) Citation

Schellhorn, Gerhard, et al. "Verification of Forward Simulations with Thread-local, Step-local Proof Obligations." Science of Computer Programming, vol. 241, 2025, p. N.PAG, https://doi.org/10.1016/j.scico.2024.103227.