Formal methods applied to a floating point number system
By: by Geoff Barrett.
Contributors: Oxford University Computing Laboratory. Programming Research Group.
Series: Technical monograph -- PRG-58
Publisher: Oxford University Computing Laboratory, Programming Research Group
Published: 1987
Place of publication: Oxford
Language: eng
Number of pages: 47