Skip to content
Book Glossary
Cover of Model Checking Software

Model Checking Software

by Jaco van de Pol

Logic designComputer scienceSoftware engineeringSPIN (Computer file)Computer simulationCongressesVerificationData processing
Writing a summary for young readers…

For young readers

Book data: Open Library