VSL 2014: VIENNA SUMMER OF LOGIC 2014
Patrick Oladimeji
Organization: FITLab, Swansea University
Web site: http://cs.swan.ac.uk/~cspo
Pages in this Program
Program
Program for Wednesday, July 23rd, 2014
VeriSure on Wednesday, July 23rd, 2014
VeriSure Program