Normal view
MARC view
Sheppard, Deri (Personal Name)
Author's An introd. to formal specification with Z and VDM, c1994: CIP t.p. (Deri Sheppard)