Skip to content
Book Glossary
Cover of Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

by Chao Wang

VerificationMathematical modelsComputer systemsIntegrated circuitsElectronic systemsSystems engineering
Writing a summary for young readers…

For young readers

Book data: Open Library