Formal Aspects of Correctness and Optimality of Interval Computations

Regivan H. Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly. Formal Aspects of Correctness and Optimality of Interval Computations. Formal Asp. Comput., 18(2):231-243, 2006. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.