Certifying properties of programs using theorem provers

  1. Santiago Jorge, J.
  2. Gulías, V.M.
  3. Cabrero, D.
Libro:
Verification, Validation and Testing in Software Engineering

ISBN: 9781591408512

Año de publicación: 2006

Páginas: 220-287

Tipo: Capítulo de Libro

DOI: 10.4018/978-1-59140-851-2.CH010 GOOGLE SCHOLAR