- Integrated circuits--Verification--Congresses (2)
- Automatic theorem proving--Congresses (1)
- Computer engineering--Computer-aided design--Congresses (1)
- Computer software--Verification--Congresses (1)
- Computer-aided design--Congresses (1)
- Digital integrated circuits--Computer-aided design--Congresses (1)
- Digital integrated circuits--Design and construction--Data processing--Congresses (1)
- FM8501 (Microprocessor) (1)
- Formal methods (Computer science)--Congresses (1)