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.

Media in category "Rajeev Alur"

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