CSL 2017: 26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC
Thomas Schwentick
Organization: Universitt Dortmund
Web page: http://ls1-www.cs.uni-dortmund.de/cms/schwentick.html
Pages in this Program
Program
Program for Wednesday, August 23rd