Category:Rajeev Alur

From Wikimedia Commons, the free media repository
Jump to: navigation, search
English: Rajeev Alur is a researcher in the field of formal methods for modeling and analyzing programs and systems, in particular model checking.
Rajeev Alur  (1966–) link=Creator: wikidata:Q7285926
Rajeev Alur
Description American computer scientist and engineer
Date of birth 5 March 1966
Authority control

Media in category "Rajeev Alur"

The following 3 files are in this category, out of 3 total.