Transformational Development of Logic Programs from Executable Specifications.
Markus P. J. Fromherz, Norbert E. Fuchs
VenueBICLP
Year1994
ProceedingsICLP Workshop: Applications of Logic Programming to Software Engineering
DBLP recordconf/iclp/FromherzF94 ↗
Browse the full ICLP paper archive.