※一部利用できない機能があります
- Computer software--Verification--Congresses (16)
- Electronic digital computers--Evaluation--Congresses (9)
- SPIN (Computer file)--Congresses (3)
- Integrated circuits--Verification--Congresses (2)
- Compilers (Computer programs)--Congresses (1)
- Computer software--Quality control--Congresses (1)
- Numerical analysis--Computer programs--Congresses (1)