Dasgupta, Pallab.

Overview

Works:	3 works in 1 publications in 1 languages

Titles

A roadmap for formal property verification by: Dasgupta, Pallab. (Language materials, printed)

Subjects

Integrated circuits