Madhusudan Parthasarathy -
Madhusudan Parthasarathy - Computer Aided Verification: 24th International Conference, C.A.V. 2012, Berkeley, Ca, U.S.A., July 7-13, 2012 Proceedings (Lecture Notes in Computer ... Issues) (Lecture Notes in Computer Science)