Author

Paritosh K. Pandya

2 books found

Cover of FST TCS 2003 : Foundations of Software Technology and Theoretical Computer Science

FST TCS 2003 : Foundations of Software Technology and Theoretical Computer Science

Paritosh K. Pandya, Jaikumar Radhakrishnan · First published 2003

Placeholder cover for Compositional verification of distributed programs

Compositional verification of distributed programs

Paritosh K. Pandya · First published 1988