I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

The correctness of numerical algorithms:

, In: Proceedings of ACM conference on Proving assertions about programs,
Hull, T. E. ; Enright, W. H. ; Sedgwick, A. E. - p. 66-73 , 1972
Link: https://dl.acm.org/doi/10.1145/800235.807073