Catalog

Record Details

Catalog Search


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 Cover Image E-book E-book

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / edited by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen.

Hähnle, Reiner. (editor.). Knoop, Jens. (editor.). Margaria, Tiziana. (editor.). Schreiner, Dietmar. (editor.). Steffen, Bernhard. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo


Additional Resources