![]() | ![]() |
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 | Wouter Geurts | [1] |
3 | Klaas Wijbrans | [1] |