Computer Aided Verificationby Constantin Enea, Akash LalArtificial intelligenceComputer algorithmsComputer networksComputer software, developmentWriting a summary for young readers…For young readersBook data: Open Library