APLAS & ATVA 2026 (series) / Yuki Nishida
Registered user since Tue 4 Apr 2017
Name:Yuki Nishida
Country:Japan
Affiliation:Tohoku University
Research interests:Type System, Formal Verification, Blockchain
Contributions
Using general profile
APLAS & ATVA 2026
Tue 1 - Sat 5 December 2026 Hong Kong SAR China
- Attending
- Tracks
- APLAS & ATVA 2026
- APLAS Research Papers
- ATVA Research Papers
- SRC and Posters
- Organization
- APLAS & ATVA 2026 Committees
- Organizing Committee
- Track Committees
- APLAS Research Papers
- ATVA Research Papers
- SRC and Posters
- Contributors
- People Index
- Search
- Series