Category:Rajeev Alur

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.

Last modified on 1 July 2013, at 23:17