SPECIAL ISSUES ARCHIVE OF 2017
 
Selected papers of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)
Editors: Stefan Milius and Joël Ouaknine