Formal Methods for Computational Systems Biologyby Marco Bernardo, Pierpaolo Degano, Gianluigi ZavattaroWriting a summary for young readers…For young readersBook data: Open Library