Suggested Topics within your search.
Suggested Topics within your search.
- Logics and meanings of programs 2
- Lógica y significado de programas 2
- Asistencia de diseños 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Design aids 1
- Logic of programs 1
- Lógica de programas 1
- Lógica matemática 1
- Mathematical logic 1
- Meanings of programs 1
- Model checking 1
- Program verification 1
- Significado de programas 1
- Sistemas con propósito y aplicación especial 1
- Software-Herramientas y técnicas 1
- Software-Tools and Techniques 1
- Special-purpose and application-based systems 1
- Verificacción de programas 1
- Verificación de programas 1
- Verifying programs 1
-
1
25 years of model checking : history, achievements, perspectives /
Published 2008“…Lecture notes in computer science,…”
Book -
2
Computer aided verification : proceedindings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book