Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Anton Wijs

Registered user since Tue 26 Jan 2016

Name:Anton Wijs
Affiliation:Eindhoven University of Technology
Research interests:model checking, equivalence checking, multi-core computing, gpu computing, graph transformation


SPIN 2021 Session Chair of Session 1 (part of SPIN)
Eindhoven University of Technology in Programming Committee within the SPIN-track
Show activities from other conferences

Using general profile