Citazione Stile APA (7a Edizione)

Foster, S., Hur, C., & Woodcock, J. (2024). Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL.

Citazione stile Chigago Style (17a edizione)

Foster, Simon, Chung-Kil Hur, e Jim Woodcock. Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL. 2024.

Citatione MLA (9a ed.)

Foster, Simon, et al. Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL. 2024.