![Anton Wijs](https://2021.ecoop.org/getProfileImage/antonwijs/627c1f16-76a8-4310-a6ac-14f59c45deaa/small.jpg?1711549636000)
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
ECOOP and ISSTA 2021-profile
View general profile
View general profile