| Date of Award | Aug 2020 |
|---|---|
| Original language | English |
| Supervisor | Jan Friso Groote (Supervisor 1) & C. Olie (External coach) |
SMT solver verification of ladder logic in a production environment
Student thesis: Master