JAVIER
LEACH ALBERT
Forscher bis um 2012
FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Publikationen, an denen er mitarbeitet FRANCISCO JAVIER LÓPEZ FRAGUAS (1)
2004
-
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