conf.researchr.org / Wytse Oortwijn
![Wytse Oortwijn](https://conf.researchr.org/getProfileImage/wytseoortwijn/079f1ba3-77ed-4f76-93e5-136adc3b291e/small.jpg?1711570511000)
Registered user since Mon 11 Nov 2019
Name:Wytse Oortwijn
Country:Netherlands
Affiliation:TNO-ESI
Personal website: http://wytseoortwijn.nl
Research interests:Formal modeling, verification and synthesis
Contributions