- Asistencia de diseños 3
- Deducción y prueba de teoremas 3
- Deduction and theorem proving
- Design aids 3
- Program verification 3
- Software-Herramientas y técnicas 3
- Verificación de programas 3
- Logics and meanings of programs 2
- Lógica matemática 2
- Lógica y significado de programas 2
- Mathematical logic 2
- Sistemas con propósito y aplicaciones especiales 2
- Software-Tools and techniques 2
- Special-purpose and application-based systems 2
- Artificial intelligence 1
- Inteligencia artificial 1
- Lenguajes de programación 1
- Lógica matemática-Computación 1
- Mathematical logic-Computation 1
- Programming languages 1
- Sistemas con propósito y aplicación especial 1
- Software-Tools and Techniques 1
- Special-purpose and application based systems 1
-
1
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects:Conference Proceeding Book -
2
-
3