Proceedings of the 17th Workshop on Formal Techniques for Java-Like Programs
Ediciones (1)
- Proceedings of the 17th Workshop on Formal Techniques for Java-Like Programs (2015)
Association for Computing Machinery · inglés · ISBN 9781450336567
Association for Computing Machinery · inglés · ISBN 9781450336567