Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
- Författare
- Jim. Davies
- (Edited by Jim Davies, Leila Silva, Adenilso Simao.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2011 | Tyskland, Berlin, Heidelberg | 978-3-642-19829-8 |