Normal view
MARC view
- Wijs, Anton
Wijs, Anton (Nombre personal)
Model checking software, [2016]: t.p. (Anton Wijs) verso (Eindhoven University of Technology, Netherlands)