Rajeev Alur

Rajeev Alur is an author at University of Pennsylvania specializing in computer science, computing, and formal methods.

Publications per year

1989–2025

147

Publications

147