- Design aids 6
- Program verification 6
- Asistencia de diseños 5
- Mathematical logic 5
- Verificación de programas 5
- 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
- Deducción y prueba de teoremas 3
- Deduction and theorem proving 3
- Sistemas con propósito y aplicaciones especiales 3
- Deducton and theorem proving 2
- Sistemas con propósito y aplicación especial 2
- Software-Tools and techniques 2
- Tools and techniques 2
- Artificial intelligence 1
- Deductton and theorem proving 1
- Hardware-Reliability, testing and fault tolerance 1
- Herramientas y técnicas 1
- Inteligencia artificial 1
- Lenguajes de programación 1
- Logics and meanings of programas 1
- Lógica matemática-Computación 1
- Mathematical logic-Computation 1
- Modelos de computación 1
- Models of computation 1
- Programas-Verificación 1
- Programming languages 1
-
1
-
2
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Conference Proceeding Book -
3
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /
Published 2008Conference Proceeding Book -
4
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /
Published 2007Conference Proceeding Book -
5
-
6
-
7
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 /
Published 1991Conference Proceeding Book