Publications by the researcher in collaboration with Víctor M. Gulías (2)

2006

  1. Certifying properties of programs using theorem provers

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

2003

  1. ARMISTICE: Una experiencia desarrollando software de gestión con Erlang

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 (Servicio de Publicaciones), pp. 199