VSL 2014: VIENNA SUMMER OF LOGIC 2014
Paolo Masci
Organization: Queen Mary University of London, School of Electronic Engineering and Computer Science
Web site: http://www.eecs.qmul.ac.uk/~masci/
Pages in this Program
Program
Program for Wednesday, July 23rd, 2014
VeriSure on Wednesday, July 23rd, 2014
VeriSure Program