Dietmar Schreiner

1 published title

Leveraging applications of formal methods, verification, and validation : international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 201

(Contributor)

1 edition