FMCAD '98 (1998 Palo Alto, Calif.)

Subjects

Automatic theorem proving, Automatische bewijsvoering, CAD, Circuits intégrés, Circuits intégrés numériques, Computacao aplicada, Computer engineering, Computer-aided design, Conception assistée par ordinateur, Conception et construction, Congresses, Congrès, Data processing, Design and construction, Digital integrated circuits, Démonstration automatique, Entwurfsautomation, Formal methods (Computer science), Formale Methode, Informatique, Integrated circuits, Kongress, Micro-elektronica, Model Checking, Théorèmes