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