Floating-point arithmetic and program correctness proofs

Authors:
John Erick Holm
Affiliations:
-
Venue:
Floating-point arithmetic and program correctness proofs
Year:
1980

Citing 0
Cited 1

Floating-Point verification using theorem proving

SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract