Not registered as user yet
Name:Sebastiaan Joosten
Contributions
| FTfJP 2018 | An Exercise in Verifying Sequential Programs with VerCors | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2018-profile
View general profile
View general profile
- Attending
- Venue: ISSTA Steering Committee Meeting
- Restaurant: Cafe de Jaren
- Venue: Uber
- Venue: Mövenpick Hotel Amsterdam City Centre
- Restaurant: Tobacco Theater
- Restaurant: Zaalverhuur Pakhuis de Zwijger
- Restaurant: De Koninklijke Industrieele Groote Club
- About
- Conduct
- Awards
- ECOOP and ISSTA 2018
- Registration
- Program @ a Glance
- Travel and Local Info
- Visas
- Students
- Sponsorship
- Program
- Tracks
- Organization
- ECOOP 2018 Committees
- Organizing Committee
- Track Committees
- ECOOP Artifacts
- ECOOP Research Papers
- ECOOP and ISSTA
- Doc Symposium
- Summer School
- Student Volunteers
- Workshops
- Posters
- Contributors
- People Index
- Search
- Series