The Formal Specification in Z of Defence Standard 00-56

Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance

Research output: Contribution to conferencePaperpeer-review

Original languageUndefined/Unknown
Pages9-28
Publication statusPublished - 1994

Cite this