Scholar
Shrisha Rao
Google Scholar ID: hZ9o3WEAAAAJ
PhD researcher, department of Computer Science, University of Antwerp
Automata
Logic
Formal verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
7
H-index
1
i10-index
0
Publications
6
Co-authors
0
