TY - RPRT TI - Automating the design of scientific computing software AU - Kant, Elaine PY - 1992 UR - https://ntrs.nasa.gov/citations/19930008327 ID - 19930008327 ER -