Wolfram Schulte

1 published title

FM 2011 : Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24 2011 : proceedings

(Contributor)

1 edition