D. Brand, A.D. Drumm, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Paper
A note on data abstractions
Related
Conference paper
Applications of global flow analysis in logic synthesis
Leonard Berman, Louise Trevillyan, et al.
ISCAS 1987
D. Brand
IEEE TC
Conference paper
Software falsifier
D. Brand
ISSRE 2000