Publikationen, an denen er mitarbeitet 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