M. Musuvathi
First name(s): M.
Last name(s): Musuvathi

Publications of M. Musuvathi
2011
A. Morgenstern and K. Schneider, Program Sketching via CTL* Model Checking, in: Model Checking Software (SPIN), pages 126-143, Springer, 2011