Critical Systems : Formal Methods and Automated Verification
by Maurice H. Ter Beek, Stefania Gnesi, Alexander Knapp
Computer science
Writing a summary for young readers…
For young readers
Book data: Open Library
by Maurice H. Ter Beek, Stefania Gnesi, Alexander Knapp
Book data: Open Library