- Design aids
- Program verification 7
- Asistencia de diseños 6
- Deduction and theorem proving 5
- Mathematical logic 5
- Verificación de programas 5
- Deducción y prueba de teoremas 4
- Logics and meanings of programs 4
- Lógica matemática 4
- Lógica y significado de programas 4
- Software-Herramientas y técnicas 4
- Special-purpose and application-based systems 4
- Mathematical logic-Computation 3
- Sistemas con propósito y aplicaciones especiales 3
- Deducton and theorem proving 2
- Lógica matemática-Computación 2
- Sistemas con propósito y aplicación especial 2
- Software-Tools and techniques 2
- Tools and techniques 2
- Artificial intelligence 1
- Computer-aided engineering 1
- Control structure performance analysis and design 1
- Deductton and theorem proving 1
- Diseño lógico 1
- Hardware-Reliability, testing and fault tolerance 1
- Herramientas y técnicas 1
- Ingeniería asistida por computadoras 1
- Integrated circuits-Design aids 1
- Integrated circuits-Reliability and testing 1
- Inteligencia artificial 1
-
1
-
2
-
3
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /
Published 2007Subjects:Conference Proceeding Book -
4
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /
Published 2008Subjects:Conference Proceeding Book -
5
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects:Conference Proceeding Book -
6
-
7
-
8