Write a Blog >>
SPIN 2017
co-located with ISSTA 2017
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


SPIN 2017 Committee Member in Program Committee
Show activities from other conferences

ISSTA 2017-profile
View general profile