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: Other research outputPoster

Specifications