James M. Boyle, William J. Cody, Wayne R. Cowell, Burton S. Garbow, Yasuhiko Ikebe, Cleve B. Moler, Brian T. Smith. NATS a collaborative effort to certify and disseminate mathematical software. In John J. Donovan, Rosemary Shields, editors, Proceedings of the ACM annual conference, ACM 1972, 1972, Volume 2. pages 630-635, ACM, 1972. [doi]
@inproceedings{BoyleCCGIMS72,
title = {NATS a collaborative effort to certify and disseminate mathematical software},
author = {James M. Boyle and William J. Cody and Wayne R. Cowell and Burton S. Garbow and Yasuhiko Ikebe and Cleve B. Moler and Brian T. Smith},
year = {1972},
doi = {10.1145/800194.805838},
url = {https://doi.org/10.1145/800194.805838},
researchr = {https://researchr.org/publication/BoyleCCGIMS72},
cites = {0},
citedby = {0},
pages = {630-635},
booktitle = {Proceedings of the ACM annual conference, ACM 1972, 1972, Volume 2},
editor = {John J. Donovan and Rosemary Shields},
publisher = {ACM},
isbn = {978-1-4503-7492-7},
}