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-40. https://doi.org/10.1145/3702981
Παραπομπή σε μορφή Chicago (17η εκδ.)Foster, Simon, Chung-Kil Hur, και 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-40. https://doi.org/10.1145/3702981.
Παραπομπή σε μορφή MLA (9th εκδ.)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, pp. 1-40, https://doi.org/10.1145/3702981.