Prajna Devi Upadhyay

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Domain Ontology

Automated Verification

Model Construction

Top Venues

Publications