VSL 2014: VIENNA SUMMER OF LOGIC 2014
David Rager
Organization: The University of Texas at Austin Computer Science
Web site: http://www.cs.utexas.edu/users/ragerdl/
Pages in this Program
ACL2 Call for Papers
ACL2 Program Committee