APA-Zitierstil (7. Ausg.)

Ye, K., Foster, S., & Woodcock, J. (2023). Formally Verified Animation for RoboChart using Interaction Trees.

Chicago-Zitierstil (17. Ausg.)

Ye, Kangfeng, Simon Foster, und Jim Woodcock. Formally Verified Animation for RoboChart Using Interaction Trees. 2023.

MLA-Zitierstil (9. Ausg.)

Ye, Kangfeng, et al. Formally Verified Animation for RoboChart Using Interaction Trees. 2023.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.