Verification, Model Checking, and Abstract InterpretationSriram Sankaranarayanan, Ashutosh Trivedi, Krishna Shankaranarayanan · First published 2025Open the Tome
Understanding the Neglected Pillars (Women) in GHANAAshutosh Trivedi · First published 2014Open the Tome
