"Proceedings of the 17th Workshop on Formal Techniques for Java-like ..."

Rosemary Monahan (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics