Registered user since Wed 31 Jan 2024
Name:Geguang Pu
Country:China
Affiliation:East China Normal University, China
Research interests:Formal Methods, Model Checking, Software Testing, Requirement Engineering
Contributions
Using general profile
- Attending
- Venue: Rogers Centre, Ottawa (formerly Shaw Centre)
- Venue: Offsite Special Venue
- Reception venue: National Arts Centre
- ICSE 2025
- Registration
- Food at ICSE2025
- Fun Activities
- Social media
- Hotels
- Getting Around Ottawa
- Visa and Travel Authorization
- Travelling to Ottawa
- Travel Support
- Code of Conduct
- Equity, Diversity, and Inclusion Plan
- Sustainability
- FAQ
- Program
- Tracks
- FormaliSE 2025
- Research Track
- Artifact Track
- Organization
- FormaliSE 2025 Committees
- Track Committees
- Research Track Organization Committee
- Research Track Program Committee
- Artifact Track
- Contributors
- People Index
- Search
- Series