Craig, Dean W.2015-12-312015-12-311988http://hdl.handle.net/2097/23676Call number: LD2668 .R4 CMSC 1988 C73Using decision measures to verify consistency throughout the software life cycleTextMasters theses