Publicaciones en las que colabora con 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