Publications by the researcher in collaboration with 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