Write a Blog >>
SPIN 2021
Wed 14 - Thu 15 July 2021 Aarhus, Denmark
co-located with ECOOP and ISSTA 2021
Anton Wijs

Registered user since Tue 26 Jan 2016

Name: Anton Wijs

Country: Netherlands

Affiliation: Eindhoven University of Technology

Personal website: http://www.win.tue.nl/~awijs

Research interests: model checking, equivalence checking, multi-core computing, gpu computing, graph transformation

Contributions

SPIN 2021Eindhoven University of Technology in Programming Committee within the SPIN-track
Show activities from other conferences

Using general profile