- Programs-Verification
- Programas-Verificación 24
- Programs-Specification 21
- Programas-Especificación 20
- Automatic programming 4
- Distributed systems 4
- Programación automática 4
- Programación-Técnicas 4
- Programming techniques 4
- Sistemas distribuidos 4
- Ingeniería de software 3
- Lenguajes de programación 3
- Lenguajes de programación-Definiciones formales y teoría 3
- Lógica matemática 3
- Mathematical logic 3
- Programming languages 3
- Programming languages-Formal definitions and theory 3
- Software engineering 3
- Administrative data processing 2
- Analysis of algorithms and problem complexity 2
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Diseño lógico 2
- Grammars and other rewriting systems 2
- Gramáticas y otros sistemas de reescritura 2
- Language classifications 2
- Language constructs and features 2
- Logic programming 2
- Modes of computation 2
- Modos de computación 2
-
1
Process algebra and probabilistic methods : perfomance modeling and verification /
Published 2002Conference Proceeding Book -
2
Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published 2007Publisher description
Conference Proceeding Book -
3
-
4
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /
Published 1995Conference Proceeding Book -
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 /
Published 1991Conference Proceeding Book -
19
-
20