FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
- Författare
- Michael. Butler
- (Edited by Michael Butler, Wolfram Schulte.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2011 | Tyskland, Berlin, Heidelberg | 978-3-642-21437-0 |