Rajeev Alur
0000-0003-1733-7083
Publications
408 total
No publications found.
Research Topics
Formal Methods in Verification
Logic, programming, and type systems
Software Testing and Debugging Techniques
Model-Driven Software Engineering Techniques
Real-Time Systems Scheduling
Affiliations
California University of Pennsylvania
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.