Next: Trabalhos
Up: Correção de programas
Previous: Referências básicas
- Introdução à correção de programas
- primeira versão (draft)
- keywords: program correctness, algorithm, nondeterminism, concurrency,
Unity, ASM, temporal logic, TLA
Notas
2001-06-05