Proceedings of 16th Workshop on Formal Techniques for Java-like Programs

Författare
David J. Pearce
Språk
Okänt
Förlag År Ort Om boken ISBN
ACM uuuu-uuuu Utgivningsland okänt / Ej specificerat