Wouter Geurts

According to our database, Wouter Geurts authored at least 2 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2015

TOPAAS: An Alternative Approach to Software Reliability Quantification.

Sipke van Manen, Ed Brandt, Jaap van Ekris, Wouter Geurts

Qual. Reliab. Eng. Int., 2015

2008

Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System.

Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts

Proceedings of the FM 2008: Formal Methods, 2008