Formal Methods in Outer Spaceby Ezio Bartocci, Yliès Falcone, Martin LeuckerWriting a summary for young readers…For young readersBook data: Open Library