Computer engineering - Congresses. - Computer-aided design

Formal methods in computer-aided design = second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / by: (Language materials, printed)

Formal methods in computer-aided design = third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / by: (Language materials, printed)

Integrated circuits- Verification

Digital integrated circuits- Computer-aided design

Automatic theorem proving

Formal methods (Computer science)

Computer engineering- Computer-aided design