APA (7th ed.) Citation

Foster, S., Hur, C., & Woodcock, J. (2025). Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL. ACM Transactions on Software Engineering & Methodology, 34(4), 1. https://doi.org/10.1145/3702981

Chicago Style (17th ed.) Citation

Foster, Simon, Chung-Kil Hur, and Jim Woodcock. "Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL." ACM Transactions on Software Engineering & Methodology 34, no. 4 (2025): 1. https://doi.org/10.1145/3702981.

MLA (9th ed.) Citation

Foster, Simon, et al. "Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL." ACM Transactions on Software Engineering & Methodology, vol. 34, no. 4, 2025, p. 1, https://doi.org/10.1145/3702981.