Proceedings of the 30th Acm Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | Revista