Login / Signup
Chetan Mutha
Publication Activity (10 Years)
Years Active: 2011-2022
Publications (10 Years): 2
Top Topics
Formal Specification
Fault Tolerant
Safety Critical
Software Reliability
Top Venues
Artif. Intell. Eng. Des. Anal. Manuf.
ACM Comput. Surv.
Empir. Softw. Eng.
</>
Publications
</>