Aravinda Prasad Sistla

Aravinda Prasad Sistla

Professor of Computer Science, University of Illinois at Chicago
Preverjeni e-poštni naslov na uic.edu
Navedeno v 18891 virih
Formal Methods Model checking Verification of Concurrent Systems Security Database Systems