Specification and Analysis of Discrete SystemsGanesh Gopalakrishnan · First published 2023Open the Tome
Genitourinary TuberculosisGanesh Gopalakrishnan, Sujata Patwardhan · First published 2020Open the Tome
Theorem Proving in Higher Order LogicsKonrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan · First published 2004Open the Tome
Formal Methods in Computer-Aided DesignGanesh Gopalakrishnan, Phillip Windley · First published 2003Open the Tome
