VSL 2014: VIENNA SUMMER OF LOGIC 2014
Harsh Raju Chamarthi
Organization: Northeastern Univesity
Web site: http://www.ccs.neu.edu/home/harshrc
Pages in this Program
ACL2 on Saturday, July 12th, 2014
ACL2 Program
Program
Program for Saturday, July 12th, 2014