JAVIER LEACH ALBERT-rekin lankidetzan egindako argitalpenak (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