
Registered user since Mon 2 Oct 2017
Name:Rajeev Alur
Affiliation:University of Pennsylvania
Contributions
PLOOC 2015 | AutomataTutor and what I learned from building an online teaching tool | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2015-profile
View general profile
View general profile