Huang, R., Monroe, A., de Halleux, P., Lerner, S., & Bjørner, N. (2025). Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling.
Chicago-Zitierstil (17. Ausg.)Huang, Ruanqianqian, Ayana Monroe, Peli de Halleux, Sorin Lerner, und Nikolaj Bjørner. Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling. 2025.
MLA-Zitierstil (9. Ausg.)Huang, Ruanqianqian, et al. Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.