Computer aided verification
by Thomas Ball, Jones, Robert B.
Circuits intégrésCongrèsVérificationCongressesVerificationLogicielsIntegrated circuitsComputer software
Writing a summary for young readers…
For young readers
Book data: Open Library
by Thomas Ball, Jones, Robert B.
Book data: Open Library