Login / Signup
Madhusmita Das
Publication Activity (10 Years)
Years Active: 2010-2023
Publications (10 Years): 4
Top Topics
Formal Specification
Epistemic Logic
Reliability Assessment
Specification Languages
Top Venues
ICAC
SNPD
ICCCNT
</>
Publications
</>