Columbia subject headings:
Computer software--Verification--Congresses.
Computer-aided design--Congresses.
Integrated circuits--Design and construction--Data processing--Congresses.
Harvard subject headings:
Computer-aided design--Congresses.
Integrated circuits--Design and construction--Data processing--Congresses.
Integrated circuits--Verification--Congresses
Princeton subject headings:
Computer-aided design--Congresses.
Integrated circuits--Design and construction--Data processing--Congresses.
Integrated circuits--Verification--Congresses.