Statistics
Publications
2
Citations
21
H-Index
2
Active since
1984
Affiliations
Nokia (United States)(Current)
Nagendra Srinivas is an author at Nokia (United States) specializing in deductive verification, formal verification, and formal methods.
Publications per year
1984–1988
2
2
1–2 of 2