Proceedings for FTfJP 2014 : the 16th Workshop on Formal Techniques for Java-like Programs : Uppsala, Sweden, July 28th, 2014
- Författare
- David J. Pearce
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| ACM | uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-1-4503-2866-1 |