FMCAD '96 (1996 Palo Alto, Calif.)

• Formal methods in computer-aided design