2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Book title Buchtitel
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Publisher Herausgeber
IEEE Computer Society Press