Z Specifications: Syntactic Sugar for Prolog.
VenueBICLP
Year1994
ProceedingsICLP Workshop: Applications of Logic Programming to Software Engineering
DBLP recordconf/iclp/Sterling94 ↗
Browse the full ICLP paper archive.
Browse the full ICLP paper archive.