A Simple Program whose Derivation and proof is also
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
How to print floating-point numbers accurately
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Hi-index | 0.00 |