SPLASH 2023 (series) / Matthias Brun
Not registered as user yet
Name:Matthias Brun
Affiliation:ETH Zurich
Contributions
| SPLASH 2023 | Verus: Verifying Rust Programs using Linear Ghost Types | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
- Attending
- Tracks
- Organization
- SPLASH 2023 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- OOPSLA
- OOPSLA Artifacts
- Onward! Essays
- Onward! Papers
- Workshops
- CARES
- Contributors
- People Index
- Search
- Series