Automated Technology for Verification and Analysis - 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
- Författare
- Tevfik. Bultan
- (Edited by Tevfik Bultan, Pao-Ann Hsiung.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2011 | Tyskland, Berlin, Heidelberg | 978-3-642-24372-1 |