Registered user since Tue 6 Jul 2021
Name:Jonas Schiffl
Contributions
| FTfJP 2021 | Reconstructing Z3 Proofs in KeY: There and Back Again | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2021-profile
View general profile
View general profile
- Attending
- Info
- ECOOP and ISSTA 2021
- Sponsorship
- Sponsors and Supporters
- Program
- Tracks
- Co-hosted Conferences
- REBASE
- Workshops
- AISTA
- COP
- FTfJP
- ICOOOLPS
- IWACO [Cancelled]
- VORTEX
- WOSCA [Cancelled]
- Organization
- ECOOP 2021 Committees
- Organizing Committee
- Track Committees
- ECOOP Technical Papers
- ECOOP Artifacts
- ECOOP and ISSTA
- Summer School
- Doctoral Symposium
- Discussions with Experts
- Posters
- Workshops
- Contributors
- People Index
- Search
- Series