Executable requirements Specifications in a Logic Specification Language SPILL-2.
Feliks Kluzniak, Miroslawa Milkowska
VenueBICLP
Year1994
ProceedingsICLP Workshop: Applications of Logic Programming to Software Engineering
DBLP recordconf/iclp/KluzniakM94 ↗
Browse the full ICLP paper archive.