Sreeranga P. Rajan

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Program Slicing of Hardware Description Languages

Edmund M. Clarke and others (1999) · School of Computer Science, Carnegie Mellon University

An integration of model checking with automated proof checking

Sreeranga P. Rajan and others (1995) · Lecture notes in computer science · Springer Science+Business Media