Columbia subject headings:
Computer software--Verification--Congresses.
Electronic digital computers--Evaluation--Congresses.
Integrated circuits--Verification--Congresses.
Harvard subject headings:
Artificial intelligence
Computer science
Computer software--Verification--Congresses
Electronic digital computers--Evaluation--Congresses.
Integrated circuits--Verification--Congresses
Logic design.
Software engineering
Princeton subject headings:
Computer software--Verification--Congresses.
Electronic digital computers--Evaluation--Congresses.
Integrated circuits--Verification--Congresses.