APA (7th ed.) Citation

Stock, S., Mashkoor, A., Leuschel, M., & Egyed, A. (2024). Trace preservation in B and Event-B refinements. Journal of logical and algebraic methods in programming, 137, 100943. https://doi.org/10.1016/j.jlamp.2024.100943

Chicago Style (17th ed.) Citation

Stock, Sebastian, Atif Mashkoor, Michael Leuschel, and Alexander Egyed. "Trace Preservation in B and Event-B Refinements." Journal of Logical and Algebraic Methods in Programming 137 (2024): 100943. https://doi.org/10.1016/j.jlamp.2024.100943.

MLA (9th ed.) Citation

Stock, Sebastian, et al. "Trace Preservation in B and Event-B Refinements." Journal of Logical and Algebraic Methods in Programming, vol. 137, 2024, p. 100943, https://doi.org/10.1016/j.jlamp.2024.100943.