- Computer software--Development--Congresses (2)
- Formal methods (Computer science)--Congresses (2)
- Application software--Development--Congresses (1)
- Computer science--Mathematics--Congresses (1)
- Electronic data processing--Mathematics (1)
- Electronic digital computers--Programming (1)
- Electronic digital computers--Programming--Congresses (1)
- Software engineering--Congresses (1)