Publicaciones en las que colabora con José Santiago Jorge Castro (1)

2006

  1. Certifying properties of programs using theorem provers

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