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