author : J.R. Hulance

Short works

• The Formal Specification in Z of Defence Standard 00-56. 1994. (In 8th Z User Workshop )