Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

Foster, Simon, Chung-Kil Hur, a 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.

Citace podle MLA (9th ed.)

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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..