1.
Record Nr.
UNINA9910626187403321
Titolo
Formal Methods in Computer-Aided Design
Pubbl/distr/stampa
Los Alamitos, California : , : IEEE Computer Society
ISSN
2642-732X
Descrizione fisica
online resource
Disciplina
621.3815
Soggetti
Digital integrated circuits - Computer-aided design
Digital integrated circuits - Design and construction - Data processing
Computer-aided design
Automatic theorem proving
Integrated circuits - Verification
Periodicals.
Conference papers and proceedings.
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Periodico