Browse by Author

Authors (A-Z) Purandare, Mitra

2 Results for Purandare, Mitra

Subscribe to RSS feed for this result set

1. Coverage, vacuity, and interpolation in model checking

Purandare, Mitra (2010)


Doctoral and Habilitation Theses

2. Interpolant strength

D'Silva, Vijay, Kröning, Daniel, Purandare, Mitra and Weissenbacher, Georg (2009)


Reports