VSL 2014: VIENNA SUMMER OF LOGIC 2014
Tim Kelly
Organization: Department of Computer Science, University of York
Web site: http://www.cs.york.ac.uk/~tpk
Pages in this Program
Program
Program for Wednesday, July 23rd, 2014
VeriSure on Wednesday, July 23rd, 2014
VeriSure Program
VeriSure Program Committee