Development of Safety-Critical SystemsGopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh Pandya · First published 2023Open the Tome
FST TCS 2003 : Foundations of Software Technology and Theoretical Computer ScienceParitosh K. Pandya, Jaikumar Radhakrishnan · First published 2003Open the Tome
Compositional verification of distributed programsParitosh K. Pandya · First published 1988Open the Tome
