- Program verification 8
- Verificación de programas
- Lógica y significado de programas 7
- Software-Herramientas y técnicas 6
- Asistencia de diseños 5
- Design aids 5
- Logics and meanings of programs 5
- Lógica matemática 4
- Mathematical logic 4
- Software-Tools and techniques 4
- Deducción y prueba de teoremas 3
- Deduction and theorem proving 3
- Sistemas con propósito y aplicaciones especiales 3
- Special-purpose and application-based systems 3
- Distributed systems 2
- Herramientas y técnicas 2
- Sistemas con propósito y aplicación especial 2
- Sistemas distribuidos 2
- Tools and techniques 2
- Artificial intelligence 1
- Complexity classes 1
- Deducton and theorem proving 1
- Deductton and theorem proving 1
- Grammars 1
- Inteligencia artificial 1
- Lenguajes de programación 1
- Logic and meanings of programs 1
- Logics and meanings of programas 1
- Lógica matemática-Computación 1
- Mathematical logic-Computation 1
-
1
Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice...
Published 2009Subjects:Conference Proceeding Book -
2
Tools and algorithms for the construction and analysis of systems /
Published 1997Subjects:Conference Proceeding Book -
3
Tools and algorithms for the construction and analysis of systems /
Published 1996Subjects:Conference Proceeding Book -
4
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /
Published 2007Subjects:Conference Proceeding Book -
5
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /
Published 2008Subjects:Conference Proceeding Book -
6
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects:Conference Proceeding Book -
7
-
8