Margaret M. West

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

2 EE Margaret M. West: The Use of a Logic Programming Language in the Animation of Z Specifications. ICLP 2007: 451-452

1995

1 Margaret M. West: Types and Sets in Gödel and Z. ZUM 1995: 389-407

2007
2	EE	Margaret M. West: The Use of a Logic Programming Language in the Animation of Z Specifications. ICLP 2007: 451-452
1995
1		Margaret M. West: Types and Sets in Gödel and Z. ZUM 1995: 389-407