Wu, G., & Sullivan, A. (2024). AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph.
Chicago-Zitierstil (17. Ausg.)Wu, Guanxuan, und Allison Sullivan. AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. 2024.
MLA-Zitierstil (9. Ausg.)Wu, Guanxuan, und Allison Sullivan. AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.