Photo of Jaco van de Pol

Jaco van de Pol

prof.dr.

20072018
If you made any changes in Pure these will be visible here soon.

Research Output 2007 2018

Filter
Poster
2009

Probabilistic specifications with data types

Katoen, J. P., van de Pol, J., Stoelinga, M. & Timmer, M. 5 Nov 2009 1 p.

Research output: Contribution to conferencePoster

Open Access
File