VSL 2014: VIENNA SUMMER OF LOGIC 2014
Karen Yorav
Organization: IBM Haifa Research Lab
Web site: http://domino.research.ibm.com/comm/research_people.nsf/pages/yorav.index.html
Pages in this Program
VSTTE Program Committee