Development methods for computer programs including a notion of interference.
Series: Technical monographs / Oxford University.Computing Laboratory.Programming Research Group -- PRG-25
Publisher: Oxford University.Computing Laboratory.Programming Research Group
Published: 1981
Place of publication: Oxford
Language: eng