Juggling Formal Methods and Securityby Barbara Fila, Hugo Jonker, Sasa RadomirovičWriting a summary for young readers…For young readersBook data: Open Library