![](/img/cover-not-exists.png)
[ACM Press the 6th ACM SIGPLAN international conference - Verona, Italy (2004.08.24-2004.08.26)] Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 - A logic programming approach to the verification of functional-logic programs
Cleva, José Miguel, Leach, Javier, López-Fraguas, Francisco J.Year:
2004
Language:
english
DOI:
10.1145/1013963.1013969
File:
PDF, 235 KB
english, 2004