TY - RPRT TI - Specifying software validation and verification for a biomedical application. AU - P E Morozoff UR - https://pubmed.ncbi.nlm.nih.gov/8061715/ ID - 8061715 ER -