ETAPS 2019 (series) / Nikolaj Bjørner
Registered user since Thu 15 Nov 2018
Name:Nikolaj Bjørner
Affiliation:Microsoft Research
Contributions
ETAPS 2019-profile
View general profile
View general profile
ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
- About
- Program
- Conferences
- Organization
- ETAPS 2019 Committees
- Organizing Committee
- Steering Committee
- Executive Board
- Track Committees
- Mentoring Workshop
- Mooly Fest
- Posters
- TOOLympics
- Workshops
- Contributors
- People Index
- Search
- Series