Registered user since Wed 5 Jan 2022
Name:Jan Haltermann
Affiliation:University of Oldenburg
Contributions
| ICSE 2022 | Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2022-profile
View general profile
View general profile