Applying Formal Methods: Testing, Performance, and M/E-Commerceby Manuel Núnez, Key Pousttchi, Fernando RubioWriting a summary for young readers…For young readersBook data: Open Library