-
- Affiliations (edit)
- SGT Inc/NASA Ames
Personal Website: http://ti.arc.nasa.gov/profile/nrungta/
Research interest lie in software verification, model checking, and program analysis.
(edit description)Last Added Resources
Neha's Projects (2)
-
Brahms-Verification
4 members
-
Need help?
Visit our help center