Dietmar Schreiner profile picture

Dietmar Schreiner

Is this your author profile? Create an account to claim and customize it!

Stand Alone

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, 2011. Revised Selected Papers