VSL 2014: VIENNA SUMMER OF LOGIC 2014
Willem Visser
Organization: Stellenbosch University
Web site: http://www.cs.sun.ac.za/~wvisser/
Pages in this Program
VeriSure Program Committee