ISSTA 2017 (series) / Anton Wijs
![Anton Wijs](https://conf.researchr.org/getProfileImage/antonwijs/b35afd09-afdd-4b5c-b497-a8737a92b0f0/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
ISSTA 2017-profile
View general profile
View general profile