Registered user since Mon 29 Sep 2025
Name:Xu Lu
Country:China
Affiliation:Xidian University
Research interests:Formal methods, Program Verification, AI4SE
Contributions
Using general profile
ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea
- Attending
- Sponsorship
- Program
- Tracks
- Organization
- Search
- Series