Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 6 of 408
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 International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

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

Back To Results
Showing Item 6 of 408

Additional Resources