https://wintered.github.io/ [email protected]
University of Manchester Manchester Assistant Professor at University of Manchester.
Dominik Winterer
Enumerative Testing and Bounded Validation of SMT Solvers
wintered
