Skip to content
Book Glossary
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

by Ahmed Bouajjani

Logic designComputer networksComputer scienceSoftware engineeringCongressesAutomatic theorem proving
Writing a summary for young readers…

For young readers

Book data: Open Library