Registered user since Fri 28 Dec 2018
Name:Alfons Laarman
Country:Netherlands
Affiliation:Leiden University
Research interests:Verification, Parallel Computing
Contributions
Using general profile
ATVA 2025
Mon 27 - Fri 31 October 2025 Bengaluru, India
- Attending
- Sponsorship
- Program
- Tracks
- Organization
- ATVA 2025 Committees
- Artifact Evaluation Committee
- Programme Committee
- Organizing Committee
- General Chair
- Contributors
- People Index
- Search
- Series