Computer aided verification
Computer aided verification
Ed Brinksma
Details
OL Work ID
OL16934949W
Subjects
Logic design
Software engineering
Computer science
Artificial intelligence
Computer software
Verification
Congresses
Integrated circuits
Find this book
Open Library