Automated Technology for Verification and Analysisby S. Akshay, Aina Niemetz, Sriram SankaranarayananWriting a summary for young readers…For young readersBook data: Open Library