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