Proceedings of the 11th International Workshop on Formal Techniques for Java-Like Programs

Författare
Anindya Banerjee
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat