Capítulos de Libro (1) Publicaciones en las que ha participado algún/a investigador/a

2006

  1. Certifying properties of programs using theorem provers

    Verification, Validation and Testing in Software Engineering (IGI Global), pp. 220-287