Searching for "Formal Methods Applied to a Floating-Point Number System." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Formal Methods Applied to a Floating Point Number System
by Geoff Barrett July, Geoff Barrett — 1989
…Formal Methods Applied to a Floating Point Number System Geoff Barrett July 28, 1989 Abstract…
Add To MetaCart

Select Z Bibliography
by Jonathan Bowen Oxford, Jonathan P. Bowen — 1995 — In Bowen et al
… applied to a floating-point number system. IEEE Transactions on Software Engineering, 15(5):611–621, May…
Add To MetaCart

Dependablesyenda Evolution
by Grand Challenge For
… Programming. Bar89 G. Barrett 1989. Formal methods applied to a floating-point number system. IEEE…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB