Formal Methods : Applications and Technology
by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Software engineeringComputer programsComputer software, reliabilityComputer software, verification
Writing a summary for young readers…
For young readers
Book data: Open Library