Login / Signup
Shilpi Goel
ORCID
Publication Activity (10 Years)
Years Active: 2013-2021
Publications (10 Years): 5
Top Topics
Formal Verification
Model Checker
Multimedia Learning
Automated Theorem Provers
Top Venues
ACL2
VSTTE
CoRR
CPP
</>
Publications
</>