Margaret M. West

Publication Activity (10 Years)

Years Active: 1992-2007
Publications (10 Years): 0

Publications

Margaret M. West
The Use of a Logic Programming Language in the Animation of Z Specifications. ICLP (2007)
Margaret M. West
Types and Sets in Gödel and Z. ZUM (1995)
Peter H. Jesty, Tom F. Buckley, Margaret M. West
The development of safe advanced road transport telematic software. Microprocess. Microsystems 17 (1) (1993)
Margaret M. West, Barry Eaglestone
Software development: two approaches to animation of Z specifications using Prolog. Softw. Eng. J. 7 (4) (1992)