Travelled to:1 × Portugal
Collaborated with:∅
Talks about:program (1) languag (1) specif (1) logic (1) anim (1) use (1)
Person: Margaret M. West
DBLP: West:Margaret_M=
Contributed to:
2007Wrote 1 papers:
- ICLP-2007-West #animation #logic programming #programming language #specification #using
- The Use of a Logic Programming Language in the Animation of Z Specifications (MMW), pp. 451–452.