Certifying properties of programs using theorem provers
- Santiago Jorge, J.
- Gulías, V.M.
- Cabrero, D.
Libro:
Verification, Validation and Testing in Software Engineering
ISBN: 9781591408512
Ano de publicación: 2006
Páxinas: 220-287
Tipo: Capítulo de libro