| |
| 2008 | ||
|---|---|---|
| 1 | EE | Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts: Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System. FM 2008: 419-424 |
| 1 | Franc Buve | [1] |
| 2 | Robin Rijkers | [1] |
| 3 | Klaas Wijbrans | [1] |