Extending reliability (Extended Abstract>: Transformational tailoring of abstract mathematical software

James M. Boyle. Extending reliability (Extended Abstract>: Transformational tailoring of abstract mathematical software. In Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software, October 1, 1978, USA. pages 57-60, ACM, 1978. [doi]

Authors

James M. Boyle

This author has not been identified. It may be one of the following persons: Look up 'James M. Boyle' in Google