Computer aided verification
Computer aided verification
Jones, Robert B.
,
Thomas Ball
Details
OL Work ID
OL16931707W
Subjects
Circuits intégrés
Congrès
Vérification
Congresses
Verification
Logiciels
Integrated circuits
Computer software
Computer software, verification
Find this book
Open Library