VSL 2014: VIENNA SUMMER OF LOGIC 2014
Yoshiki Kinoshita
Organization: Department of Information Sciences, Kanagawa University
Pages in this Program
VeriSure Program Committee