Specification case studies
By: Ian Hayes.
Contributors: Oxford University Computing Laboratory. Programming Research Group.
Series: Technical Monograph PRG-46
Publisher: Oxford University Computing Laboratory, Programming Research Group
Published: 1985
Place of publication: Oxford
Language: eng
Number of pages: 68