Conference paper
Software falsifier
D. Brand
ISSRE 2000
Paper
A note on data abstractions
Abstract
No abstract available.
Related
Reinaldo A. Bergamaschi, D. Brand, et al.
ICCAD 1995
Conference paper
EXPERIMENT IN SILICON COMPILATION.
Viktors Berstis, D. Brand, et al.
ISCAS 1984
Conference paper
Applications of global flow analysis in logic synthesis
Leonard Berman, Louise Trevillyan, et al.
ISCAS 1987