Travelled to:1 × Sweden
Collaborated with:I.J.Hayes P.A.Strooper
Talks about:program (1) specif (1) refin (1) logic (1)
Person: R. G. Nickson
DBLP: Nickson:R=_G=
Contributed to:
1996Wrote 1 papers:
- LOPSTR-1996-HayesNS #logic programming #source code #specification
- Refining Specifications to Logic Programs (IJH, RGN, PAS), pp. 1–19.