Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
- Författare
- Gilles. Barthe
- (Edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2011 | Tyskland, Berlin, Heidelberg | 978-3-642-24690-6 |