Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nitesh Trivedi
conf.researchr.org general profile
APLAS 2025 profile
ATVA 2025 profile
Registered user since Thu 31 Jul 2025
Name:
Nitesh Trivedi
Contributions
2025
ATVA
Author of Specification Inference modulo Oracles for Database-backed Web Applications within the APLAS Papers-track
APLAS
Author of Specification Inference modulo Oracles for Database-backed Web Applications within the Research Papers-track
Share
x
Sun 26 Oct 21:23