Construction, amélioration et vérification de programmesby G. Huet, G. KahnReliabilityTestingCongressesVerificationComputer programsWriting a summary for young readers…For young readersBook data: Open Library