Madan Musuvathi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Sumit Gulwani, Madan Musuvathi: Cover Algorithms and Their Combination. ESOP 2008: 193-207

Selection of 1 from 5 records - Madan Musuvathi has 7 coauthors