Normal view
MARC view
Computer engineering Computer-aided design (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): FMCAD '98 (1998 : Palo Alto, Calif.) 33959, Formal methods in computer-aided design :, ©1998.