B. Bose
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Derivation of a DRAM memory interface by sequential decomposition
K. Rath and others (1993) · Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 · IEEE Comput. Soc. Press
DDD: a system for mechanized digital design derivation
S. D. Johnson and others (1991) · ACM/SIGDA Workshop on Formal Methods in VLSI Design, Miami
On the interplay of synthesis and verification
S. D. Johnson and others (1989) · Applied Formal Methods for Correct VLSI Design (IMEC-IFIP International Workshop) · North-Holland