Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science by Christel Baier | Menrva Books | MenrvaBooks