Margaret M. West

According to our database¹, Margaret M. West authored at least 4 papers between 1992 and 2007.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2007

The Use of a Logic Programming Language in the Animation of Z Specifications.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

1995

Types and Sets in Gödel and Z.

[BibT_eX]

[DOI]

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1993

The development of safe advanced road transport telematic software.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1993

1992

Software development: two approaches to animation of Z specifications using Prolog.

[BibT_eX]

[DOI]

Softw. Eng. J., 1992