Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Conference or workshop item
Number of items: 4.
Conference or workshop item
| Mander, Keith C. and Polack, Fiona A.C. and Whiston, Mark (1993) The SAZ Method: Version 1.0. In: YCS 207. , University of York (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Polack, Fiona A.C. and Whiston, Mark and Mander, Keith C. (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings FME'93. , Denmark pp. 541-557. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Mander, Keith C. and Polack, Fiona A.C. and Whiston, Mark (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings JFIT conference. pp. 355-362. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Mander, Keith C. and Polack, Fiona A.C. and Whiston, Mark (1992) Introduction to the SAZ Method: the State Specification. In: Proceedings International SSADM Conference. , Warwick (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
