Chetan Mutha

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 2

Top Topics

Formal Specification

Safety Critical

Software Reliability

Top Venues

Artif. Intell. Eng. Des. Anal. Manuf.

ACM Comput. Surv.

Empir. Softw. Eng.

Publications