Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs
Edición de la obra Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs
| Autor | Camil Demetrescu |
|---|---|
| Editorial | Association for Computing Machinery |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| ISBN-13 | 9781450344395 |
| Número de Cutter | D377p |