Suggested Topics within your search.
Suggested Topics within your search.
- Hardware-Reliability, testing and fault tolerance
- Computer-aided engineering 1
- Control structure performance analysis and design 1
- Deduction and theorem proving 1
- Design aids 1
- Ingeniería asistida por computadoras 1
- Integrated circuits-Design aids 1
- Integrated circuits-Reliability and testing 1
- Logic design-Reliability and testing 1
- Mathematical logic-Computation 1
- Microprogram design aids 1
- Modelos de computación 1
- Models of computation 1
- Perfomance analysis and design aids 1
- Program verification 1
- Programas-Verificación 1
- Programs-Verification 1
- Specifying and verifying and reasoning about programs 1
-
1
-
2
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 /
Published 1991Conference Proceeding Book