LICS 2017: THIRTY-SECOND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Andrej Dudenhefner
Organization: Technische Universitaet Dortmund
Web page: http://www-seal.cs.tu-dortmund.de/seal/pages/home/index_en.shtml
Pages in this Program
Program
Program for Wednesday, June 21st