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, 2011. Revised Selected Papers
Author:
Hähnle, Reiner. editor.
ISBN:
9783642347818
Physical Description:
XII, 261 p. 94 illus. online resource.
Series:
Communications in Computer and Information Science,
Series Title:
Communications in Computer and Information Science, 1865-0929
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-34781-8Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 197548-2001 | ONLINE | Searching... | Searching... |