The weakest prespecification
By: by C.A.R.Hoare and He,Jifeng.
Contributors: He, Jifeng.; Oxford University Computing Laboratory. Programming Research Group.
Series: Technical monograph -- PRG-44
Publisher: Oxford University; Univ.Oxf.Computing Lab.,Programming Research Gp.
Published: 1985
Place of publication: Oxford
Language: eng
Number of pages: 60