APA (7th ed.) Citation

Ye, K., Foster, S., & Woodcock, J. (2024). Formally verified animation for RoboChart using interaction trees. Journal of logical and algebraic methods in programming, 137, 100940. https://doi.org/10.1016/j.jlamp.2023.100940

Chicago Style (17th ed.) Citation

Ye, Kangfeng, Simon Foster, and Jim Woodcock. "Formally Verified Animation for RoboChart Using Interaction Trees." Journal of Logical and Algebraic Methods in Programming 137 (2024): 100940. https://doi.org/10.1016/j.jlamp.2023.100940.

MLA (9th ed.) Citation

Ye, Kangfeng, et al. "Formally Verified Animation for RoboChart Using Interaction Trees." Journal of Logical and Algebraic Methods in Programming, vol. 137, 2024, p. 100940, https://doi.org/10.1016/j.jlamp.2023.100940.