Guanxuan Wu -

Registered user since Mon 17 Jun 2024

Name:Guanxuan Wu

Contributions

2024

MODELS

Author of AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph within the Technical Track-track