MODELS 2024
Sun 22 - Fri 27 September 2024 Linz, Austria

Registered user since Mon 17 Jun 2024

Name:Guanxuan Wu
Affiliation:University of Texas at Arlington
Personal website: https://555.is
Research interests:Software Engineering, Programming Languages, Formal Method, Automatic Inference

Contributions

Show activities from other conferences

MODELS 2024-profile
View general profile