Jaco van de Pol

1 published title

Integrated formal methods : 5th international conference, IFM 2005, Einhoven, The Netherlands, November 29 - December 2, 2005 : proceedings

(Contributor)

1 edition