Publications by the researcher in collaboration with David Cabrero Souto (1)

2006

  1. Certifying properties of programs using theorem provers

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