- Programs-Specification
- Programas-Especificación 30
- Programs-Verification 21
- Programas-Verificación 20
- Ingeniería de software 6
- Software engineering 6
- Software-Requerimientos y especificaciones 6
- Programación-Técnicas 5
- Programming techniques 5
- Automatic programming 4
- Distributed systems 4
- Programación automática 4
- Programming languages-Formal definitions and theory 4
- Semantics of programming languages 4
- Sistemas distribuidos 4
- Software-Requeriments and specifications 4
- Lenguajes de programación-Definiciones formales y teoría 3
- Lógica matemática 3
- Mathematical logic 3
- Semántica de lenguajes de programación 3
- Special-purpose and application-based systems 3
- Administrative data processing 2
- Analysis of algorithms and problem complexity 2
- Computación mediante dispositivos abstractos 2
- Computation by abstract devices 2
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Discrete mathematics 2
- Diseño lógico 2
- Grammars and other rewriting systems 2
-
21
-
22
-
23
-
24
-
25
Formal techniques in real-time and fault-tolerant systems /
Published 1996Conference Proceeding Book -
26
-
27
-
28
FME'96 : industrial benefit and advances in formal methods /
Published 1996Conference Proceeding Book -
29
-
30
-
31