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