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 /
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | englanti |
| Julkaistu: |
Berlín, Alemania :
Springer,
2012, c2012
|
| Sarja: | (Communications in Computer and Information Science)
|
| Linkit: | Ver documento en línea |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|