conf.researchr.org / Wytse Oortwijn
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