Registered user since Sun 17 Aug 2014
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
Dafny
PEPM
Using general profile
- Attending
- Program
- Track/Call
- Organization
- VMCAI 2025 Committees
- Track Committees
- Organizing Committee
- Program Committee
- Artifact Evaluation Committee
- Contributors
- People Index
- Search
- Series