- Asistencia de diseños
- Design aids 10
- Program verification 6
- Verificación de programas 6
- Lógica matemática 5
- Mathematical logic 5
- Deducción y prueba de teoremas 4
- Deduction and theorem proving 4
- Lógica y significado de programas 4
- Software-Herramientas y técnicas 4
- Diseño lógico 3
- Logics and meanings of programs 3
- Sistemas con propósito y aplicaciones especiales 3
- Special-purpose and application-based systems 3
- Logic design 2
- Lógica matemática-Computación 2
- Mathematical logic-Computation 2
- Sistemas con propósito y aplicación especial 2
- Software-Tools and techniques 2
- VHDL 2
- Artificial intelligence 1
- Data structures 1
- Deducton and theorem proving 1
- Deductton and theorem proving 1
- Estructura de datos 1
- Formal languages 1
- Herramientas y técnicas 1
- Inteligencia artificial 1
- Lenguajes de programación 1
- Lenguajes formales 1
-
1
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Conference Proceeding Book -
2
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /
Published 2008Conference Proceeding Book -
3
-
4
-
5
-
6
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /
Published 2007Conference Proceeding Book -
7
-
8
-
9
-
10