Dasgupta, Pallab, A roadmap for formal property verification / by Pallab Dasgupta - xiii, 251 páginas : ilustraciones ISBN: 1402047576 (empastado, cubierta dura) Subjects--Topical Terms: Circuitos integrados--Verificación LC Class. No.: TK7874.58 / D37 Dewey Class. No.: 621.3815