The SAZ Project: Integrating SSADM and Z

Fiona Polack, Mark Whiston, Keith Mander

Research output: Contribution to conferencePaper

Original languageUndefined/Unknown
Pages541-557
Publication statusPublished - 1993

Cite this