Login / Signup
Divyanjali Sharma
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Source Code
Static Analysis
Probabilistic Model
Case Study
Top Venues
ISEC
</>
Publications
</>
Divyanjali Sharma
,
Subodh Sharma
Parameterized Static Analysis for Weak Memory Models.
ISEC
(2024)