ACM Awards 2013 Leo Bachmair

Recipient: 
Leo Bachmair
Award Year: 
2013
Award Detail: 

(LICS TEST-OF-TIME Award)

Award Name: 
Role: