Publicaciones en las que colabora con FRANCISCO JAVIER LÓPEZ FRAGUAS (1)

2004

  1. A logic programming approach to the verification of functional-logic programs

    Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04