The use of a logic programming language in the animation of Z specifications

• Authors:

• Margaret M. West

• Affiliations:

• University of Huddersfield, UK

• Venue:
• ICLP'07 Proceedings of the 23rd international conference on Logic programming
• Year:
• 2007