Automated Technology for Verification and AnalysisS. Akshay, Aina Niemetz, Sriram Sankaranarayanan · First published 2025Open the Tome
