"Proceedings of the 11th ACM SIGPLAN International Conference on Software ..."

David Pearce, Tanja Mayerhofer, Friedrich Steimann (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics